span,nobr,input,body,div,ol,ul,center,blockquote,td,a,p,h2,h3,.h{font-family:arial,sans-serif;font-size:10pt} 
.topmenu div div a, .bottommenu a {text-decoration:none; color:#004040; font-size:10pt}
.topmenu div div a {color:#004040; background-color:#fff;}
.bottommenu a {color:#004040; background-color:#e8ffff; vertical-align: top;}
.bottommenu img { position: relative; top: 2px; }

#botmen1 .botmen1, 
#botmen2 .botmen2, 
#botmen3 .botmen3, 
#botmen4 .botmen4, 
#botmen5 .botmen5, 
#botmen6 .botmen6, 
#botmen7 .botmen7,
#botmen8 .botmen8,
#botmen9 .botmen9 {font-weight:bold}
#topmen1 .topmen1 a, 
#topmen2 .topmen2 a, 
#topmen3 .topmen3 a, 
#topmen4 .topmen4 a, 
#topmen5 .topmen5 a, 
#topmen6 .topmen6 a, 
#topmen7 .topmen7 a {color:#fff; background-color:#009999; font-weight:bold}

body { margin: 0px; }
html, body { background: #fff; color: #000; }

.pagewidth {
  max-width: 70em;
  width:expression(document.body.clientWidth > 94 * parseInt(document.body.currentStyle.fontSize)?  "70em": "99.7%" );
}

div.sechead {
  padding: 1em 0em .7em 0em;
  font-size:12pt;
  font-weight: bold;
  clear: both;
}

span.math {
  font-family:times,serif;
  font-style:italic;
}

td.math {
  font-family:times,serif;
}

span.mathsym, td.mathsym {
  font-family:Lucida Sans Unicode,times,serif;
}

span.cmd {
  font-family:Arial, Helvetica, sans-serif;
  font-size:7pt;
  color: #808080
}

span.tw {
  font-family:Comic Sans MS, Arial, Helvetica, sans-serif;
}

.turned {
  background: #ffffff url(curl3.jpg) no-repeat left top;
}

.menuspacer {
  width: 1px;
  background: #009999;
  border-top-color: white;
  border-top-width: 5px;
  border-top-style: solid;
}

#topmen1 #topmen1p, #topmen2 #topmen1p,
#topmen2 #topmen2p, #topmen3 #topmen2p,
#topmen3 #topmen3p, #topmen4 #topmen3p,
#topmen4 #topmen4p, #topmen5 #topmen4p,
#topmen5 #topmen5p, #topmen6 #topmen5p,
#topmen6 #topmen6p, #topmen7 #topmen6p { display: none; }

#topmen1 div.topmen1,
#topmen2 div.topmen2,
#topmen3 div.topmen3,
#topmen4 div.topmen4,
#topmen5 div.topmen5,
#topmen6 div.topmen6,
#topmen7 div.topmen7, div.shortcuts {
  padding: 0;
  margin: 0;
  color: #fff;
  font-weight: bold;
  background: #009999 url(corner.gif) no-repeat left top;
}

#topmen1 div.topmen1 div,
#topmen2 div.topmen2 div,
#topmen3 div.topmen3 div,
#topmen4 div.topmen4 div,
#topmen5 div.topmen5 div,
#topmen6 div.topmen6 div,
#topmen7 div.topmen7 div, div.shortcuts div {
  background: url(corner2.gif) no-repeat right top;
  padding: 5px 0px 0px 0px;
}

#botmen1 .botmen1 img,
#botmen2 .botmen2 img,
#botmen3 .botmen3 img,
#botmen4 .botmen4 img,
#botmen5 .botmen5 img,
#botmen6 .botmen6 img,
#botmen7 .botmen7 img,
#botmen8 .botmen8 img,
#botmen9 .botmen9 img { background: url(selarrow.gif) no-repeat; }

div.leftcornertitle {
  padding: .3em .7em .3em .7em; /* top left bottom right */
  color: #fff;
  font-size: 160%;
  font-weight: bold;
  background: #009999 url(corner.gif) no-repeat left top;
}

div.title {
  padding: 0; /* top left bottom right */
  margin: 0;
  color: #fff;
  background: #e8ffff url(lcorner.png) no-repeat left top;
}
div.title2 {
  background: url(lcorner2.png) no-repeat right top;
  padding: 5px 10px;
  color: #000;
  font-size: 160%;
  font-weight: bold;
}

div.boldtitle {
  padding: 0; /* top left bottom right */
  margin: 0;
  color: #000;
  background: #009999 url(corner.gif) no-repeat left top;
}
div.boldtitle2 {
  background: #009999 url(corner2.gif) no-repeat right top;
  padding: 5px 10px;
  color: #fff;
  font-size: 160%;
  font-weight: bold;
}

table.spaced {
  border-width: 0 0 1px 1px;
  border-style: solid;
  border-color: #009999;
  border-collapse: collapse;
}
table.spaced td {
  margin: 0;
  padding: 5px;
  border-width: 1px 1px 0 0;
  border-style: solid;
  border-color: #009999;
}
table.spaced li {
  margin: .2em 0;
}

div.subheader {
  padding: .4em .7em .5em .7em;
  font-size: 100%; /* 12px */
  font-weight: bold;
  line-height: 130%;
  color: #000; /* yellow, or #ddd grey */
  background: #ffd; /* yellow, or #ddd grey */
  /* background: #ddd url(//images.slashdot.org/article-details-bg.png) repeat-x left top; */
}

.searchbar #searchq {
  font-size: 80%;
  color: #808080;
  border-color: #004040;
  border-width: 1px;
  padding-left: 5px;
}

.searchbar #searchgo {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 100%;
  font-weight: bold;
  color: #009999;
  background-color: transparent;
  text-decoration: underline;
  border: none;
  cursor: pointer;
  cursor: hand;
  margin: 0;
  padding: 0 0 1px 0;
  vertical-align: center;
  /*
   border: 0px solid #009999;
   padding: 1px 2px 1px 2px; */
}