.synopsis,.classsynopsis 
{
 background:#eee;
 border:solid 1px #aaa;
 padding:0.5em;
}

html,div {
 margin:0;
 padding:0;
}

body {
 padding:0;
 margin:0;
 font-size:10pt;
 margin-left:20px;
 overflow:hidden;
}

img {
 border-width:1px;
 border-color:#aaa;
}

a.link {
 color:blue;
 text-decoration:underline;
}

a.visited {
 color:#844;
 text-decoration:underline;
}

a.active {
 color:red;
 text-decoration:underline;
}

h1 {
 font-size:220%;
 font-weight:bold;
 color:#000;
 background-color:#6699FF;
 text-align:center;
}

h2 {
 font-size:180%;
 font-weight:bold;
 color:#000;
 text-decoration:underline;
}

h2.Subsection {
 background-color:#bbbbff;
 padding:5px;
 text-decoration:none;
}

h3 {
 font-size:140%;
 color:#00f;
 margin-bottom:0pt;
 font-family:"Helvetica";
}

h4 {
 font-size:120%;
 color:#00f;
 margin-bottom:0pt;
 font-family:"Helvetica";
}

p.Blurb {
 margin-top:0pt;
 color:#000;
 font-style:Italic;
 font-weight:Bold;
 font-family:"Helvetica", selif;
 font-size:80%;
}

.Comment {
 color:#800;
 font-style:Italic;
 font-size:90%;
}

.Code {
 font-family:Monospace;
 font-style:Italic;
}

.Func {
 font-weight:Bold;
}

.Structure {
 font-weight:Bold;
}

.Priority {
 color:blue;
 font-size:50%;
}

dl dt {
 font-family:Monospace;
 font-style:Italic;
}

pre {
 font-size:90%;
}

pre.Example {
 font-size:90%;
 background-color:#e3f0fb;
 border:1px #1C79C6 dotted;
 padding:5px;
}

.entry pre {
 white-space: -moz-pre-wrap; /* Mozilla */
 white-space: -pre-wrap; /* Opera 4-6 */
 white-space: -o-pre-wrap; /* Opera 7 */
 white-space: pre-wrap; /* CSS3 */
 word-wrap: break-word; /* IE 5.5+ */
}

#mainbox {
 top:40px;
 left:160px;
 margin:0 0 0 0px;
 height:100%;
 padding:auto 1;
 border-left:0px solid #000000;
 position:absolute;
 overflow:auto;
}

#mainin {
 width:98%;
 margin:auto 5px;
}

#leftbox {
 top:40px;
 width:140px;
 height:100%;
 padding:0;
 overflow:auto;
 font-size:9pt;
 position:absolute;
 line-height:1.5em;
}

#title-header {
 width:100%;
 top:0;
 left:0;
 height:40px;
 padding:0;
 background-color:#139;
 background-image:url("cvlogo_mini.png");
 background-repeat:no-repeat;
 background-position:5px;
 position:absolute;
}

#logo {
 top:5px;
 left:5px;
 width:38;
 height:38;
 position:absolute;
 border-width:0px;
}

#searchbox {
 left:50px;
 top:10px;
 position:relative;
}

#sb {
 color:#aae;
 border:solid 1px #bbf;
 text-decoration:none;
 margin:0;
 padding:1px 5px;
 -moz-border-radius:4px;
}

#sb:hover {
 background-color:#569;
}

#about {
 position:absolute;
 right:10px;
 top:10px;
 color:#aae;
 border:solid 1px #bbf;
 text-decoration:none;
 padding:1px 5px;
 -moz-border-radius:4px;
 cursor:pointer;
}

#about:hover {
 background-color:#569;
}

#bbs {
 position:absolute;
 right:70px;
 top:10px;
 color:#aae;
 border:solid 1px #bbf;
 text-decoration:none;
 padding:1px 5px;
 -moz-border-radius:4px;
 cursor:pointer;
}

#bbs:hover {
 background-color:#569;
}


#mainbox_top {
 margin:0;
 padding:0;
 width:100%;
 top:40px;
 left:0px;
 background-image:url("top_photo2.gif");
 background-repeat:no-repeat;
 background-color:#001580;
 background-position: 100% 20%;
 position: absolute;
 height: 100%;
 border-left:0px solid #000000;
 overflow:hidden;
}

#TopMenu1 {
  font-size: 12pt;	 
  color: white;
  width:20%;
  padding:5px;
  background-color:#000000;
  filter:alpha(opacity=55); /*IE*/
  -moz-opacity:0.55; /*FF*/
  opacity:0.55;
  cursor:pointer;
}

#TopMenu2 {
  font-size: 12pt;	 
  color: white;
  width:20%;
  padding:5px;
  background-color:#101010;
  filter:alpha(opacity=55); /*IE*/
  -moz-opacity:0.55; /*FF*/
  opacity:0.55;
  cursor:pointer;
}
#TopMenu3 {
  font-size: 12pt;	 
  color: white;
  width:20%;
  padding:5px;
  background-color:#151515;
  filter:alpha(opacity=55); /*IE*/
  -moz-opacity:0.55; /*FF*/
  opacity:0.55;
  cursor:pointer;
}
#TopMenu4 {
  font-size: 12pt;	 
  color: white;
  width:20%;
  padding:5px;
  background-color:#202020;
  filter:alpha(opacity=55); /*IE*/
  -moz-opacity:0.55; /*FF*/
  opacity:0.55;
  cursor:pointer;
}
#TopMenu5 {
  font-size: 12pt;	 
  color: white;
  width:20%;
  padding:5px;
  background-color:#252525;
  filter:alpha(opacity=55); /*IE*/
  -moz-opacity:0.55; /*FF*/
  opacity:0.55;
  cursor:pointer;
}

#TopMenu2 a:hover{
  text-decoration: none;
}

#history {
 color:#aaa;
 font-size:9pt;
 overflow:scroll;
}

#history a:link {
 color:#8af;
}

#history a:visited {
 color:#55b;
}

.graph { 
 position: relative; /* IE is dumb */
 width: 200px; 
 border: 1px solid #32b1d6; 
 padding: 2px; 
}
.graph .bar { 
 display: block;
 position: relative;
 background: #32b1d6; 
 text-align: center; 
 color:#333; 
 height:5px; 
 line-height: 2em;            
}
.graph .bar span {
 position: absolute;
 left: 1em;
}