body {
  background-color: white;
  color: #222;
  font-family: Georgia, "Book Antiqua", Palatino, Times, "Times New Roman", serif;
  line-height: 140%;
}

h1, h2, h3, h4, h5, h6, p#tagline, #menu, .Footer, #breadcrumb {
  margin: 0;
  padding: 0;
  font-family: "Lucida Grande", Tahoma, "Trebuchet MS", Verdana, Lucida, Geneva, Helvetica, sans-serif;
}

.titlepage h1 {
  margin-top: 1em;
}

h1 {
  font-size: 180%;
  background-color: white;
  color: #006A9F;
}

h1 a {
  background-color: white;
  color: #006A9F;
  text-decoration: none;
}

h2 {
  margin-top: 1em;
  font-size: 140%;
}

h3 {
  margin-top: 1em;
  font-size: 100%;
}

label, .divider {
  display: none;
}

#Header {
  border-bottom: 1px solid maroon;
}

p#tagline {
  margin: 3px 0 6px 2px;
  font-size: 90%;
  font-weight: bold;
  background-color: white;
  color: #006A9F;
}

#breadcrumb {
  font-size: 90%;
}

#navigation {
  font-size: 90%;
}

.thispage {
  font-weight: bold;
}

.Footer {
  font-size: 90%;
  border-top: 1px solid #006A9F;
  background-color: white;
  color: #006A9F;
}

table.Footer {
  margin-top: 1em;
}

#breadcrumb {
  padding: 0 0 1em 2px;
}

.tip, .note, .warning, .caution, .important, .footnote {
  margin: 1em 2em 1em 2em;
}

.furtherreading {
  margin-top: 1em;
}

.screen, .programlisting, .example table {
  margin: 1em 1em 0 1em;
  padding: 0;
}

.example table {
  margin-bottom: 1em;
}

.toc li {
  list-style: none;
}

/* ----- Python code syntax coloring ----- */
.computeroutput, .traceback, .pykeyword, .pystring, .pycomment, .pyfunction, .pyclass {
  background-color: white;
}

.pykeyword, .pyfunction, .pyclass {
  font-weight:bold;
}

.computeroutput {
  color:teal;
}

.traceback {
  color:red;
}

.pykeyword {
  color:navy;
}

.pystring {
  color:olive;
}

.pycomment {
  color:green;
  font-style:italic;
}

.pyfunction {
  color:teal;
}

.pyclass {
  color:blue;
}

/* ----- home page ----- */
#wrapper {
  float: left;
  width: 66%;
  border: 0;
  background-color: white;
  color: #222;
  margin: 1em 2em 0 0;
}

#menu {
  font-size: 90%;
  margin-top: 1.5em;
}

#menu h2 {
  background-color: white;
  color: #006A9F;
}
  
#menu ul {
  list-style: none;
}

.selfad {
  padding: 5px;
  background-color: #ccc;
  color: #222;
}

.selfad p {
  font-family: Tahoma, sans-serif;
  font-size: 90%;
  margin: 10px;
  line-height: 140%;
}
