body {
   color: #000000;
   background-color:#B0C4DE;
   font-family:"times new roman",helvetica,arial,univers,"Zurich BT",serif
}
ul.disc {list-style-type:disc}
pre {font-family:"courier new",courier,monospace}
code {font-family:"courier new",courier,monospace}
code.cpp {
   font-family:"courier new",courier,monospace;
   background: transparent;
   color:#00008B
}
code.comment {
   font-family:"courier new",courier,monospace;
   background: transparent;
   color:#606060
}
.u { text-decoration: underline; }
.b { font-weight: bold; }
.i { font-style: italic; }
.center { 
   margin-left: auto;
   margin-right: auto;
}
.align-right {
   float: right; 
   margin: 0 0 15px 15px;
}
.align-left {
   float: left; 
   margin: 0 15px 0 0;
}
.indent {text-indent:50px;}
.code {
   font-family:"courier new",courier,monospace;
   white-space:nowrap
}
.symbol { font-family:symbol,monospace }
.noline {text-decoration:none}
.nobr {white-space:nowrap}
.bmenu {
   font-family:arial,"Times New Roman",helvetica,univers,"Zurich BT",sans-serif;
   white-space:nowrap
}
.hang {
    padding-left: 22px;
    text-indent: -22px;
}
.small {font-size:small}
table.analysis {font-family: arial,sans-serif; font-size: smaller ! important}
table.analysis2 {font-family: arial,sans-serif; font-size: smaller ! important; text-align: center; margin-left: auto; margin-right: auto}
a:link {background: transparent; COLOR: #0000FF}
a:active {background: transparent; COLOR: #0000FF}
a:visited {background: transparent; COLOR: #0000FF}
a.menu:active {background: transparent; COLOR: #33CCCC; text-decoration: underline}
a.menu:hover {background: transparent; COLOR: #9C5F5F; text-decoration: underline}