html {
  background: #888;
  background-image: url(img_82.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: #888;
}
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: #999;
}
ul#navlist li a:visited {
  color: #333;
}
ul#navlist li a:hover {
  color: #aaa;
}
ul#navlist li a:active {
  color: #a88;
}

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: #888;
  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, table.figure caption {
  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;
}
kbd {
  font-weight: bold;
}
ol.labsteps>li {
  margin-top: 1em;
}
ol.labsteps ol {
  list-style-type: lower-alpha;
}

.html {
  color: #920;
  background-color: transparent;
}
.css {
  color: #040;
  background-color: transparent;
}
.file {
  color: #700;
  background-color: transparent;
}
.python {
  color: #007;
  background-color: transparent;
}
.in {
  font-weight: bold;
}
.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;
}

ol.pseudocode, ol.pseudocode ol {
  list-style-type: none;
}
span.turnsep {
  color: #A00;
}

p.currentinfo {
  color: #fff;
  background-color: #b5111b;
  padding: 0.75em;
  font-weight: bold;
}
p.currentinfo a {
  color: #9cf;
}
p.currentinfo strong {
  text-transform: uppercase;
}

@media print {
  ul#navlist {
    background-color: #fff;
    margin: 0;
  }
  ul#navlist li#mycategory {
    background-color: #ddd;
    border: thin solid #666;
  }
  div#main {
    margin: 0;
  }
}