body { font-family: verdana;  font-size: 90%; line-height: 145% }

/* primary tabs */
.navset { color:#ffffff; height:127px; background-image: url(/files/bg.png)  }
.navset .title { font-size:175%; margin: 20px 20px 20px 20px; font-weight: bold; }

.navset a { text-decoration:none; }
.navset ul { margin:0; padding:0; list-style:none; }
.navset li { margin:0; padding:0; list-style:none; float:left; display:inline; 
             border-top: 1px solid white; border-left: 1px solid white; border-right: 1px solid white; }
.navset .hd .on { background-color:#e1007a; 
                  border-top: 1px solid #e1007a; 
                  border-left: 1px solid #e1007a; 
                  border-right: 1px solid #e1007a; }
.navset li a:hover {text-decoration:underline;}
.navset .hd li em {font-weight:bold;}
.navset .hd li a { color:#FFFFFF; }
.navset .hd li.on strong, .navset .hd li.on strong a {color:#FFFFFF;} /* selected tab */
.navset .hd li.orphan, .navset .hd li.orphan a {color:#cab799;}
.navset .hd ul {font:bold 78%/1.2em verdana;margin-bottom:-1px;padding-left:.3em;position:relative;} /* IE quirks mode: relative */
.navset .hd li {margin-right:.33em;padding:0; border-color: white;}
.navset .hd li.on strong a {cursor:default;}
.navset .hd li a, .navset .hd li strong, .navset .hd li em {display:block;}
.navset .hd li a, .navset .hd li strong {*display:inline-block;}  /* IE: 100% clickable */
.navset .hd li em {font-style:normal;padding:.5em .6em;}
.navset .hd li.orphan, .navset .hd li.orphan a, .navset .hd li.orphan em { background:transparent none;border-width:0;margin:0;}

.navset ul:after {clear:both;content:'.';display:block;height:0;visibility:hidden;} /* clear non-IE */
.navset ul {zoom:1;} /* clear IE */

.content {
  margin-left: 20px;
  margin-right: 20px;
}

.content p, .content ul, .content blockquote { 
  margin-top: 0.25em;
}

.header {
  background-color: #0d215d;
  color: white;
  width: 100%;
  font-weight: bold;
  margin-bottom: 0px;
}

.header a { text-decoration: none; color: white; }
.header a:hover { text-decoration: underline; }

.content blockquote {
  font-style: italic
}

.sidebar {
  float: right;
  width: 45%;
  border: 1px solid #0d215d;
  background-color: lightgrey;
}

.floaty {
  float: right;
}

.sidebar p, .sidebar ul {
  margin-left: 5px;
  margin-right: 5px;
  margin-top: 0.25em;
}

.sidebar .header {
  margin-left: 0px;
  margin-right: 0px;
}

.listing {
  background-color: darkblue;
  color: yellow;
  font-family: courier;
  margin-left: 20px;
  margin-right: 20px;
  border: 1px solid #0d215d;
}

.listing p {
  margin-left: 10px;
  margin-right: 5px;
}

.listing .header {
  margin-left: 0px;
  margin-right: 0px;
}

.listing .comment {
  color: cyan;
}

.console {
  background-color: black;
  color: white;
  font-family: courier;
  font-weight: bold;
  margin-left: 20px;
  margin-right: 20px;
}

.console .word {
  color: yellow;
}

.console .comment {
  color: cyan;
}

.console .prompt {
  color: darkgreen;
}

blockquote > code { 
  font-style: normal;
}