body {
 background: #CCE;
 margin: 0px;
 padding: 0px;
 font-family: "Trebuchet MS", Arial, sans-serif;
}

a:link, a:active, a:visited, a:hover {
  text-decoration: none;
  color: #710;
}
a:hover { text-decoration: underline }
a:visited { color: #532 }
div.heading a:visited, div.sidebar a:visited { color: #710 }

div.heading {
  width: 100%;
  overflow: hidden;
}

div.heading h1 {
  margin: 14px 14px 14px 14px;
  padding: 3px 10px;
  font-size: 200%;
}
div.heading h1 code {
  font-size: 70%;
  color: #777;
}

div.sidebar, div.heading h1, div.content {
  background: #FEFEF0;
  border: 1px solid #AAC;
}
div.sidebar h1, div.content h1 {
  background: #BBE;
  text-align: center;
  padding: 2px;
}


div.sidebar {
  float: left;
  clear: left;
  width: 140px;
  margin-left: 14px;
  margin-bottom: 1em;
  padding: 1px;
  font-size: smaller;
}
div.sidebar h1 {
  font-size: 100%;
  margin: 0px;
}
div.sidebar ul {
  list-style: none;
  margin: 0.25em 1em;
  padding: 0;
}
div.sidebar ul li {
  text-indent: -0.5em;
}
div.sidebar .selected { font-weight: bold }

div.sidebar.link_collection {
  text-align: center;
  padding-top: 4px;
}
div.sidebar.link_collection a {
  display: block;
  border: 0px;
}

div.content {
  max-width: 50em;
  margin: 0 14px 1em 172px;
  padding: 1px 5px;
}

div.content h1 {
  position: relative;
  left: 0px;
  font-size: 120%;
  margin: 0px -4px 0.5em -4px;
  color: #710;
}
div.content h1 .totop {
  position: absolute;
  right: 2px;
  margin-top: -2px;
}
div.content h2 {
  font-size: 120%;
}
div.content pre {
  border: 1px solid #BBE;
  background: #EEE;
  padding: 5px;
  font-family: "Lucida Console", monospace;
  font-size: smaller;
  overflow: auto;
}
div.content ul {
  padding: 0px 0px 0px 2.3em;
}