body {
   background: #FFFFFF url(permbkg.jpg) no-repeat top left fixed;
   color: #000000;
   font-family:"times new roman",helvetica,arial,univers,"Zurich BT",serif
}
ul { list-style-type:disc; }
img { border : 0; }
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
}
.code {
   font-family:"courier new",courier,monospace;
   white-space:nowrap
}
.symbol { font-family:symbol,monospace }
.noline {text-decoration:none}
.bmenu {
   font-family:arial,"Times New Roman",helvetica,univers,"Zurich BT",sans-serif;
   white-space:nowrap
}
.nobr {white-space:nowrap}
.hfont {
   font-family:arial,"Times New Roman",helvetica,univers,"Zurich BT",sans-serif;
   font-size: larger;
   margin-left: auto;
   margin-right: auto;
   text-align: center;
}
.afont {
   font-family:"courier new",courier,monospace;
   margin-left: auto;
   margin-right: auto;
   text-align: center;
}
.u { text-decoration: underline; }
.center { 
   margin-left: auto;
   margin-right: auto;
   text-align: center;
}
.align-right {
   float: right; 
   margin: 0 0 15px 15px;
}
.head {
   background-color: #00ffff
}
table.pseudo { 
   margin-left: auto;
   margin-right: auto;
   text-align: left;
   background-color: #e2e2e2;
}
table.example { 
   margin-left: 0;
   margin-right: auto;
   text-align: left;
   background-color: #e2e2e2;
}
table.analysis {font-family: arial,sans-serif; font-size: smaller ! important}
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}
#nav {
   display: none;
}
#footer {
   display: none;
}
#noprint {
   display: none;
}