body {
  font: 12px/1.2 Verdana, Arial, Helvetica, sans-serif;
  background: #fff;
  color: black;
  padding: 0px;
  margin: 0px;
}

.big { font-size: 14px; }

.ot a {
  text-decoration: none;
  font-weight: bold;
  color: black;
}

.el { font-size:12px; font-weight: bold; }
        
.el a { 
  text-decoration: none;
  font-weight: bold;
  color: #004400;
}
a {
  text-decoration: none;
  font-weight: bold;
}

#leftcontent a {
  text-decoration: none;
  font-weight: bold;
  color: #004400;
}


#centercontent a {
  text-decoration: none;
  font-weight: bold;
  color: #aa0000;
}
ol { margin-right: 40px; }
#rightcontent li { margin-bottom: 0; }
#rightcontent ul { margin-top: 0px; padding-top: 0px;}
li { margin-bottom: 10px; }
        
body {
  margin: 10px 10px 0px 10px;
  padding: 0px;
}

.misc { text-align: center; }
.caption {
  text-align: center;
  margin-left: 85px;
  margin-right: 85px;
  margin-bottom: 10px;
}

#leftcontent {
  position: absolute; left:10px; top:76px;
  padding: 10px 10px 10px 10px;

  width:140px;
  color: #004400;
  background: white;
}

code { 
  font-family: courier new, sans-serif;
  font-weight: bold; 
}
#centercontent code { color: #008800; }

#centercontent {
  max-width: 450px;
  background: #fff;
  margin-left: 169px;
  margin-right: 209px;
  padding-left: 10px;
  padding-right: 20px;
  /* padding-top: 15px; */
  /*
  Read expl of following hack at http://www.glish.com/css/hacks.asp
  */
  
  voice-family: "\"}\"";
  voice-family: inherit;
  margin-left: 171px;
  margin-right: 211px;
}
html>body #centercontent {
        margin-left: 171px;
        margin-right: 211px;
        }
.p1 { text-indent: -5px; }
#centercontent .os {
  padding-top: 10pt;
  text-indent: -5px;
}

#rightcontent .os {
  padding-bottom: 12pt;
  text-indent: -5px;
}
.ot { 
  font-weight: bold;
  font-size: 16px;
}
.h2 {
  font-weight: bold;
  font-size: 16px;
}
.h3 { 
  font-weight: bold;
  font-size: 14px;
}
.od { color: #aa0000; }

.o { font-style: italic; }
.oo { font-size: 14px; margin-bottom: 4px; text-align: center; }

.principles { font-size: 13px; margin-bottom: 4px;}

#rightcontent {
  padding-left: 10px;
  padding-right: 10px;
  position: absolute; right: 10px; top: 80px;
  padding-top: 6px;
  padding-bottom: 10px;
  width: 200px;
  background: #88ddaa;
  color: #002244;
}

#rightcontent a {
  text-decoration: none;
  font-weight: bold;
  color: #002040;
}

th { background: #88ddaa; }
table { background: #eeeeee; }

img { border: 0px solid white }

#banner {
  background:#fff;
  background-image: url("rug70.jpg");
  background-repeat: repeat-x;
  color: white;
  height: 65px;
  voice-family: "\"}\"";
  voice-family: inherit;
  height: 60px;
}
html>body #banner {
  height: 60px;
}
        
#banner h1 {
  font-size: 30px;
  font-weight: normal;
  padding: 6px 10px 0px 10px;
  margin: 0px;
}