/* top right bot left */#footer{   background: steelblue;  color: white;  border: 1px solid black;  font-family: sans-serif;  margin-top: 0.5em;   padding: 0.5em;}#footer a[href] { color: gold; text-decoration: none }#footer a[href]:hover { background: transparent; color: gold }#header{   background: steelblue;  color: white;  border: 1px solid black;  font-family: sans-serif;  margin-top: 0.5em; padding: 0.5em;  height: 22px;}#header a[href] { color: gold; text-decoration: none }#header a[href]:hover { background: transparent; color: gold }#header-link{  clear: both;}body {    background: white;  color: black;  font-family: serif;  margin: 0.5em 1.5em 0.5em 1.5em;   /* padding: 0.5em; */}h1, h2, h3, h4 {   color: #999;  font-family: sans-serif;}hr { border: 0; background: black; height: 1px }a.internal { color: #0077bb ; }a:visited.internal { color: #004488; } a.hyperspec { font-weight: bold; }a[href]:hover { background: #ff9 }table {   border-collapse: collapse;   /* border: 1px solid #aaa;  */}.oddrow {  background-color: rgb(220, 255, 255)}th {   font-family: sans-serif;   background: royalblue;  color: white;  text-transform: lowercase }th, td { padding: 0.2em 0.3em }ul li { list-style-type: square }pre{   background: #cdf;   border: 1px solid #679;   color: #235;   font-size: 90%;  padding: 0.3em;}#content{   clear: both;  margin: 0;   padding: 0 1.5em;}#logo{   font-variant: small-caps;  float: right;  font-family: fantasy;  font-size: 150%;  letter-spacing: 0.05em;}a.logo .sub {   color: green;  font-size: 90%;   position: relative; top: -0.3em; }#indexes{  float: right;}
