body {
background: #DDDDDD;
font-family: verdana, verdana, verdana;
}

body img {
border:none;
}

#contents
{
font-size: 8px;
text-align: justify;

}

a:link {
        color: brown;  
	text-decoration: none;
}

a:visited {
        color: brown;
	text-decoration: none;
}

a:hover {
        color: brown;
        text-decoration: underline;
}

a:active {
        color: brown;
	font-weight:bold;
}

@media screen {
  body { margin-right: 22ex; padding-right:1em; border-right: 4px solid #999; }
  div.sidebar { position: absolute; right: 0; width: 20ex; top: 0; }
}

@media print { div.sidebar { display: none; }}


  
div.toc {
    padding: 0.4em;
    position: float;
    top: 1em; 
    right: 1em; 
    margin-left: 5%;
    margin-right: 200px;
    background-color:#FAFAFF;
    border:#999 2px solid;
    font-size: 0.8em;
    font-family: verdana;
} 


div.toc h2 {
    padding-left: 1em;
    font-size: 1em;
}

p { text-align: justify; }

.style2 {font-family: Verdana, "Verdana", Verdana, verdana}
.style5 {font-family: Verdana, "Verdana", Verdana, verdana; font-size: 12px}
.style6 {font-family: Verdana, "Verdana", Verdana, verdana; font-size: 11px; }
.style7 {font-family: Verdana, "Verdana", Verdana, verdana; font-size: 10px; }
.style8 {font-family: Verdana, "Verdana", Verdana, verdana; font-size: 20px; }

div.toc { position: fixed; top: 1em; right: -12em; width: 10em }

#anchors

a[name][class="anchor"]:before {
      content: "#" attr(name) " ";
      color:blue;
  }


  a.definition {
      text-decoration: none;
      color: inherit;
  }