<style>
<!--
BODY {scrollbar-face-color:#888888;
scrollbar-arrow-color:#dddddd;
scrollbar-track-color:#dddddd;
scrollbar-shadow-color:#444444;
scrollbar-highlight-color:#dddddd;
scrollbar-3dlight-color:#aaaaaa;
scrollbar-darkshadow-Color:#333333;
}
.debug {
font-family:Verdana;
font-size: 10px;
color: red;
}
.tiny {
font-family:Arial;
font-size: 10px;
}
.small {
font-family:Arial;
font-size: 12px;
}
.force {
font-family:Arial;
font-size: 12px;
font-weight: bold;
text-decoration: none;
background-color: #C0C0C0;
color: black;
cursor: pointer;
}
.ttr {
font-family:Arial;
font-size: 11px;
color: darkred;
}
.ttg {
font-family:Arial;
font-size: 11px;
color: darkblue;
}
.ttn {
font-family:Arial;
font-size: 11px;
color: black;
}
.ttinop {
font-family:Arial;
font-size: 11px;
color: white;
}
.large {
font-family:Verdana;
font-size: 16px;
font-weight: bold;
}
.mapsummary {
font-family:Verdana;
font-size: 10px;
color: #c5c5d0;
}
.wpboxstyle {
font-family:Verdana;
font-size: 12px;
font-weight: bold;
color: black;
}
.wpliststyle {
font-family:Arial;
font-size: 12px;
color: black;
}
.skin0 {
position:absolute;
text-align:left;
width:200px;
border:2px solid black;
background-color:menu;
font-family:Verdana;
line-height:20px;
cursor:default;
visibility:hidden;
}
.skin1 {
cursor:default;
font:menutext;
position:absolute;
text-align:left;
font-family: Arial, Helvetica, sans-serif;
font-size: 10pt;
width:220px;
background-color:#f2f2f2;
border:1 solid buttonface;
visibility:hidden;
border:2 outset buttonhighlight;
}
.menuitems {
padding-left:15px;
padding-right:10px;
font-weight: normal;
}
.menuheadings {
padding-left:5px;
padding-right:10px;
text-align:left;
font-family: Arial, Helvetica, sans-serif;
font-size: 10pt;
font-weight: bold;
color: black;
background-color:#e2e2e2;
}
.commit {
padding-left:15px;
padding-right:10px;
text-align:left;
font-family: Arial, Helvetica, sans-serif;
font-size: 11pt;
font-weight: bold;
color: black;
background-color:#ffff00;
}
-->
</style>
