html {border: lime none 0px;}
body {background-color: white; border: red none 0px; color: black; margin: 8px;}
p, dl {font-family: Arial, sans-serif;}
.propdef-title {background-color: yellow; color: black; font-weight: bold;}

a:link {background-color: white; color: blue;}
a:visited {background-color: white; color: purple;}
a:link:hover {background-color: #EEE; color: blue;}
a:visited:hover {background-color: #EEE; color: purple;}
a:focus {outline: 2px dotted black;}

#navigation
{
font-family: Tahoma, sans-serif;
}

#navigation a
{
font-weight: bold; padding: 0.5em;
}

#position-title-example
{
background-color: InactiveCaption;
border: 2px solid;
border-color: ActiveCaption;
color: InactiveCaptionText;
/* ActiveCaption, InactiveCaptionText, InactiveCaption are deprecated in CSS3 */
font: 700 10pt/20px "MS Sans Serif", sans-serif;
padding: 2px 2px 2px 76px;
}

#position-title-example > img
{
vertical-align: bottom;
}

#BlueBox
{
background-color: blue;
color: white;
height: 200px;
width: 300px;
}

#YellowBox
{
background-color: yellow;
color: black;
height: 100px;
width: 200px;
}

#RedBox
{
background-color: red;
color: white;
height: 50px;
width: 100px;
}

#pos-elem-explanation
{
border: medium solid;
padding: 16px;
}

img.IEico {vertical-align: middle;}

#idPositionMenu
{
position: absolute;
right: 32px;
top: 32px;
width: 224px;
z-index: 2;
}

#idTitlePosition
{
background-color: InactiveCaption; /* #3D0DA9; */
border: 2px solid;
border-color: ActiveCaption;
color: InactiveCaptionText;
/* ActiveCaption, InactiveCaptionText, InactiveCaption are deprecated in CSS3 */
cursor: url("../GRAPHICS/ICO/grab.cur"), move;
font: 700 10pt/20px "MS Sans Serif", sans-serif;
text-align: center;
width: 220px;
}

#idPushPinImg
{
cursor: default;
position: absolute;
top: 2px;
right: 2px;
z-index: 6;
}

#idPositionCtrls
{
background-color: #D8D8D8;
border-top: 0px none;
border-right: 2px solid;
border-bottom: 2px solid;
border-left: 2px solid;
border-color: ActiveCaption;
color: black;
padding: 6px;
width: 208px;
}

input:focus, button:focus
{
border: lime outset 2px;
outline: black dotted 2px;
}

.labeled-radio
{
border: #D8D8D8 solid 2px;
border-radius: 12px;
display: inline-block;
width: 158px;
}

.labeled-radio:hover
{
border: aqua outset 2px;
}

input[size] {font-weight: bold; text-align: center;}
/*
There is a bug with Opera 7.10 and Opera 8.01 when styling select:focus
select:focus {border: lime outset 2px;} but it was fixed in Opera 9.0 beta 1
*/

label > span, button > span
{
border-bottom: 1px solid black;
font-weight: bolder;
text-decoration: underline;
}

button {margin-left: 5%; width: 90%;}

#idAutoKeyword
{
font-size: 80%;
font-style: italic;
}

#TreeNodes
{
border: 2px solid lime;
}

.Netscape6
{
background-color: inherit;
color: #457566;
font-family: Arial, sans-serif;
font-size: 90%;
font-weight: 700;
padding: 2px;
}

.Explorer
{
background-color: inherit;
color: #398CE2;
font-family: Arial, sans-serif;
font-size: 90%;
font-weight: 700;
padding: 2px;
}
/*
MSIE 6 has limited support for attribute selectors and :hover dynamic pseudo-class
*[accesskey] span {text-decoration: underline;}
label:hover {border: aqua outset 2px; -moz-border-radius: 12px;}
*/

#footer {font-size: 166%; text-align: center;}
#footer img, #validation img, #validation a {margin: 0em 1em; vertical-align: middle;}
#validation img {padding: 0.5em; vertical-align: middle;}