body {background: white; color: black; font: 14px;
	font-family: Arial, Verdana, Helvetica;
	margin: 0; padding: 0.5em; border-width: 0;
	min-width: 55em !important; position: relative;}
* {font-size: 1em;}
a:link, #leftbar a:link, #rightbar a:link {color: #00C;}
a:visited, #leftbar a:visited, #rightbar a:visited {color: #909;}
#skipper {display: none;}
#masthead {border: 1px solid;
  padding: 0; margin: 0;}
#masthead h1 {font-weight: normal; font-size: 250%;
  position: relative; left:40px; z-index: 10;
  margin: 0 12em -0.1em 0; padding: 0.5em 0.25em 0;}
#masthead h1 a {text-decoration: none;}
#masthead h1 span {position: absolute; top: 0.5em; left: 0.75em; 
  font-size: 50%;}
#srch {position: absolute; top: 0.5em; right: 0.5em; z-index: 11;
  width: 12em; height: 4.66em;
  border: 1px solid; padding: 0; margin: 0;}
#srch h4 {font-size: 90%; margin: 0 0 0.5em; padding: 0.5em 0.25em 0;
  border-bottom: 1px solid;}
#srch div {margin: 0.125em 0 0 0.33em;}
#srch input.text {width: 75%;}
#srch input[type="submit"] {padding: 0; margin-left: 2px;}
#main {position: relative; z-index: 20; width: 100%; border-top: 1px solid;
  background: white;}
pre, code, tt {font: 100% "Courier New", Courier, "Andale Mono", monospace;}
sup {vertical-align: baseline; position: relative; top: -0.33em;}
#content {margin: 2em 12em 0 10em; padding: 0 1.0em 0em;
  border-left: 1px solid; border-right: 1px solid;}
#content h1, #content h2, #content h3, #content h4 {margin: 0.5em 0 0; text-decoration: none;
	font-family: Arial, Verdana, Helvetica; lign-height: 1.05; border-bottom: 1px solid; clear: left; }
#content h1 {margin: 0; font-size: 175%;}
#content h2 {font-size: 150%;}
#content h3 {font-size: 125%;}
#content h4 {margin: 1.25em 0 0; font-size: 110%;}
#content p {padding-left: 0.66em; margin: 0.25em 0 1.5em; font-size: 95%;}
#content ul, #content ol {margin: 0.25em 0.5em 1em 2.5em; padding: 0;
  font-size: 95%;}
body #content a[name] {color: inherit;}
#content table {font-size: 95%;}
#content table tr, #content table td {font-size: 95%;}
.sidebar {position: absolute; top: 1.75em; font: 1em Verdana, sans-serif;}
.sidebar h4 {font-size: 90%;
  border-width: 1px; border-style: solid none;
  padding: 6px 0.1em 1px 0.33em; margin: 0;
  word-spacing: 1px;}
.sidebar ul {padding: 0.25em 0; margin: 0; list-style: none;
  font-size: 85%;}
#leftbar {left: 0; width: 10em; padding-top 2.5em;
  border-right: 1px solid;}
#leftbar h4 {border-left-style: solid;}
#leftbar ul {border-right-width: 1px;}
#leftbar p {font-size: 85%; margin: 1em 0.5em;}
#leftbar li {text-indent: -0.50em; margin: 0.33em 0.5em 0.25em 1.5em;}
#rightbar {right: 0; width: 12em; padding-top: 2.5em;
  border-left: 1px solid;}
#rightbar h4 {text-align: center;}
#rightbar ul {border-right-width: 1px;}
#rightbar li {text-indent: -0.50em; margin: 0.33em 0.5em 0.25em 1.5em;}
#navbar {position: absolute; z-index: 100; top: 0; font: 1em Verdana, sans-serif;
  left: 0; right: 0; top: 0; margin: -1px 0 0 0; padding: 0.33em 0;
  width: 100%; line-height: 1em;
  border: 1px solid; border-width: 1px;}
html>body #navbar {width: auto;}
#drs-config {position: absolute; z-index: 50; top: 1.75em; right: 0;
  width: 12.1em; height: 2.66em;
  padding: 0.66em 0 0; margin: -1px 0 0; 
  border: 1px solid; border-width: 1px 0;
  text-align: center;
  voice-family: "\"}\""; voice-family:inherit;
  height: 1.75em;}
#drs-config .ui {border: 1px solid; font-size: 90%;
  color: black; padding: 0 0.2em; margin: 0 0 0 2px;
  text-decoration: none;}
#drs-config #drs-themelink {padding: 1px 0.3em; margin: 0;}
#drs-config ul.drs-menu-system {display: inline; margin-right: 0.5em;}
#drs-config ul.drs-menu-system ul a {text-align: left;}
#drs-config li.submenu ul {border-top: 1px solid black;
  top: 2.1em !important; left: -8em !important; width: 14.25em !important;}
#drs-config li.submenu ul li {border: 1px solid black; border-top: none;}
#drs-blue {background: rgb(62%,64%,87%);
  color: rgb(17%,20%,50%) !important;}
#drs-tan {background: rgb(92%,80%,58%);
  color: rgb(37%,23%,8%) !important;}
#drs-gray {background: rgb(75%,75%,75%);
  color: rgb(33%,33%,33%) !important;}
#drs-classic {background: rgb(26%,54%,61%);
  color: white !important;}
#drs-config ul a:hover {color: black !important;
  background: rgb(100%,98%,70%);}
#drs-footer {clear:none; border-top: 1px solid; padding: 0.25em 0.1em 0.5em; margin: 0;
  font: 0.75em Verdana, sans-serif; text-align: left; clear: both;}
#drs-footer #right {float: right; width: 33%; text-align: right;}
/* ---------------------------------------------------------------- */
/* home-specific rules */
.home #content h2:first-child, .home #content .drs-nn4 + h2 {margin-top: 0; font-size: 175%;}
.home #content h2 {font-size: 133%; margin: 1.5em 0 0;}
.home #content h2 + * {margin-top: 0.125em !important;}
.home #content h3 {font-size: 115%;
    margin: 1.25em 0 0; padding: 0.75em 0 0;
    border: 1px solid; border-width: 0 0 1px 0;}
.home #content h3 a {text-decoration: none; font-weight: bold;}
.home #content h3 + p {margin-top: 0.25em;}
.home #content p + ul {margin-top: -0.8em;}
.home #content h3 + ul {margin-left: 1.25em; margin-top: 0.5em;
  list-style-type: square;}
.home #content h3 + ul li {margin-top: 0.2em;}
/* ---------------------------------------------------------------- */
/* article-specific rules */
.article #content {margin: 3em 12em 0 2em; padding: 0.5em 1.5em 2em 2em;
  border-style: none;}
.article #content h1 {font-size: 200%; line-height: 0.95em; margin: 0;
  border-bottom: 1px solid gray; line-height: 1.15em;}
.article #content h2, .article #content h3 {line-height: 1.2em;}
.article #content h2 {font-size: 150%; margin: 2.5em 0 0.5em;}
.article #content h3 {font-size: 133%; margin: 1.5em 0 0.5em;}
.article #content p {padding-left: 0;}
.article #content ul {list-style-type: disc; font-size: 95%;
  margin: 1em 0; padding-left: 2.5em;}
.article #content ul li {margin-bottom: 0.5em; line-height: 1.15em;}
.article #content pre {width: 100%;}
.article #content img {max-width: 100%;}
.article #content ul.drs-metadata {padding: 0 0.125em;
  list-style: none; font-size: 105%; color: #333;}
.article #content ul.drs-metadata li {margin: 0.125em 0;}
.article #content ul#drs-author {margin: 0.33em 0 0;}
.article #content ul#drs-pubmod {margin: 0 0 2em;}
.article #rightbar #toc {margin: 0 1px 0 -3px;
  border-left: 1px solid silver; border-right: 1px solid silver;
  background: white; color: #AAA;}
.article #rightbar #toc li {text-indent: -0.33em;
  list-style-type: square;}
.article div.figure {margin: 0 0 0.66em 0;
  font-weight: bold; font-size: 90%; line-height: 1;
  color: #555;}
.article div.figure img {display: block; position: static; float: none;
  margin: 2px 0.5em 1px 0; border: 1px solid silver;}
.article div.figure span {padding: 0 0.5em 1px;
  border: 1px solid silver; border-left: 3px solid silver;
  background-color: rgb(95%,95%,95%);}
/* ---------------------------------------------------------------- */
/* 3-column-specific rules */
.3-column #content h1 {margin: 0 0 0.5em; letter-spacing: 1px;
      font-weight: 900; font-size: 250%;}
.3-column #content h2 {font-size: 160%; margin: 1.5em 0 0.125em; padding-bottom: 0.125em;}
.3-column #content h2 + * {margin-top: 0.25em !important;}
.3-column #content h3 {font-size: 110%;
    margin: 1.25em 0 0.125em; padding: 0.75em 0 0;
    border-bottom: 1px solid;}
.3-column #content h3 a {text-decoration: none; font-weight: bold;}
.3-column #content h3 + p {margin-top: 0.33em;}
.3-column #content span.drs-tail {font-size: 85%; white-space: nowrap;}
.3-column #content div.drs-metadata + p {margin: 0.125em 1em 0 0.66em;}
.3-column #content .drs-blurb h3 {margin-bottom: 0;}
.3-column #content .drs-blurb .drs-metadata {margin: 1px 0 0 0.5em; padding: 1px 0.5em 0;
     text-align: right; font: 0.92em Arial, sans-serif;
     border: 1px solid; border-top: none; width: 10em; float: right;}
.3-column #content .drs-blurb span.drs-tail a {padding: 0 0.25em; font-weight: bold;}
.3-column #leftbar li {font-size: 90%; margin: 0.5em; font-weight: normal;}
#content div.advertiser {font-family: Arial, Verdana, Helvetica; font-size:80%; 
  border: 1px solid #006; background: #DDE; padding: 0;}
#content div.advertiser h3 {margin: 0; padding: 0.25em 0.1em 0.15em;
  background: #006; color: #FFF; text-align: center;}
#content div.advertiser ul {margin: 0; padding: 0.5em 0.5em 0.75em 1.75em;}
#content div.right {float: right; min-width: 5%; font-size: 80%;
  border: none; margin: 2em 0 1em 1.5em; padding: 0; overflow: visible;}
#content div.right h3 {margin: 0; padding: 0.25em 0.1em 0.15em;
  text-align: center;}
#content div.right ul {margin: 0; padding: 0.5em 0.5em 0.75em 1.75em;}
#content div.left {float: left; min-width: 5%; font-size: 80%;
  border: none; margin: 2em 0 1em 1.5em; padding: 0; overflow: visible;}
#content div.left h3 {margin: 0; padding: 0.25em 0.1em 0.15em;
  text-align: center;}
#content div.left ul {margin: 0; padding: 0.5em 0.5em 0.75em 1.75em;}
