html {
  background: #5d7f90;
  background-image: url(img_19.gif);
  color: #000;
  margin: 1.5em 0;
}
a:link {
  color: #00e;
  background-color: transparent;
  background-image: none;
}
a:visited {
  color: #518;
  background-color: transparent;
  background-image: none;
}
a:active {
  color: #f00;
  background-color: transparent;
  background-image: none;
}

h1,h2,h3,h4,h5,h6 { font-family: "Trebuchet MS", "Trebuchet", sans-serif; }

h1 {
  color: #fff;
  padding: .25ex;
  margin: 0 0.50in .5ex 0.50in;
  text-align: center;
  font-size: xx-large;
}
h2 {
  margin-bottom: .5em;
  margin-top: 1em;
  font-size: x-large;
}
h3 {
  font-size: large;
  font-weight: normal;
  font-style: italic;
  margin-bottom: 0;
  padding-bottom: 0;
  margin-top: 0;
  padding-top: 0;
}

div.h2 > ul:first-child {
  margin-top: .5em;
}

ul#navlist {
  padding: .5ex;
  margin: 0 0.50in;
  border: solid black 2px;
  border-bottom: none;
  text-align: center;
  overflow: hidden;
  background-color: #5d7f90;
}
ul#navlist li {
  display: inline;
  list-style-type: none;
  margin: 0;
  padding: .5ex .75ex;
}
ul#navlist li a {
  font-family: "Trebuchet MS", "Trebuchet", sans-serif;
  text-decoration: none;
  font-style: normal;
  font-weight: bold;
  color: #000;
}
ul#navlist li#mycategory {
  background-color: #4d6f80;
}
ul#navlist li a:visited {
  color: #123;
}
ul#navlist li a:hover {
  color: #456;
}
ul#navlist li a:active {
  color: #89a;
}

div#main {
  background-image: none;
  background-color: #fff;
  margin: 0 0.50in;
  border: solid black 2px;
  border-top: none;
  padding: 1em;
}

div#footer {
  background-image: none;
  background-color: #5d7f90;
  font-family: "Trebuchet MS", "Trebuchet", sans-serif;
  font-size: smaller;
  clear: both;
  margin: 1.25em 0.50in;
  padding: .25em;
  text-align: right;
}
div#footer p {
  margin: .25em;
  padding: 0;
}
h1 abbr[title], h1 acronym[title] {
  border-bottom-width: 0;
}
h2 abbr[title], h2 acronym[title] {
  border-bottom-width: 0;
}
abbr[title].obvious, acronym[title].obvious {
  border-bottom-width: 0;
  font-style: normal;
}

a.subtle img {
  border-width: 0;
}
div.figure {
  text-align: center;
}
img.bordered {
  border: thin #000 solid;
  padding: 0;
}
img.screenshot {
  border: thin #000 dashed;
  padding: 4px;
}
table.figure {
  margin-left: auto;
  margin-right: auto;
}
table.bordered {
  border: solid thin;
  border-color: #bbb #000 #000 #bbb;
}
table.bordered td, table.bordered th {
  border: solid thin;
  border-color: #000 #bbb #bbb #000;
  padding: 1px 3px;
}
ol.parts {
  list-style-type: lower-alpha;
}                                                                               
div.blockcode, div.displaymath {
  margin: 1em 2.5em;
}
div.codeblock {
  margin-left: 3ex;
}
div.samplerun {
  font-family: monospace;
  margin: .5em 2.5em;
  padding: .5ex;
  border: thin dotted #777;
}

div.sidefig {
  clear: right;
  float: right;
  text-align: center;
  font-size: smaller;
  font-family: Helvetica, sans-serif;
  margin: .5em 0 .5em .5em;
  width: 160px;
}
div.sidefig a img {
    border: 0;
}

kbd {
  font-weight: bold;
}
ol.labsteps>li {
  margin-top: 1em;
}

.html {
  color: #060;
  background-color: transparent;
}
.css {
  color: #600;
  background-color: transparent;
}
.file {
  color: #700;
  background-color: transparent;
}
.unix {
  color: #050;
  background-color: transparent;
}
.java {
  color: #00A;
  background-color: transparent;
}
.out {
  color: #707;
  background-color: transparent;
}
.in {
  color: #077;
  font-weight: bold;
  background-color: transparent;
}
.mathvar {
  font-style: italic;
}
.power {
  vertical-align: super;
}
var, .var { /* stuff that should be filled in */
  font-style: italic;
  background-color: #eee;
  color: inherit;
}
dfn {
  font-style: italic;
}
dt {
  font-weight: bold;
}

table.readings th {
  background-color: #9bc;
}
table.readings td, table.readings th {
  padding: 0 .5em;
}
table.readings td.topic, table.readings th.topic  {
}
table.readings td.topic {
  background-color: #ddd;
  text-align: center;
}
span.bigop {
  font-size: larger;
}


@media print {
  ul#navlist {
    background-color: #fff;
    margin: 0;
  }
  ul#navlist li#mycategory {
    background-color: #ddd;
    border: thin solid #666;
  }
  div#main {
    margin: 0;
  }
  var, .var { /* stuff that should be filled in */
    font-style: italic;
    font-weight: bold;
    background-color: inherit;
    color: inherit;
  }
}