:link, :visited { color: #3a5; }
:link:hover, :visited:hover { color: #a2d; }

body, th, td {
 font-family: 'Bitstream Vera Serif',times,serif;
}

h1, h2, h3, h4 {
 font-family: 'Bitstream Vera Serif',times,serif;
}

#mainnav {
 font-family: 'Bitstream Vera Serif',times,serif;
}

#mainnav :link, #mainnav :visited {
 padding-left: 8px; padding-right: 8px;
}

h1, h2, h3 {
  text-indent: 0.5em;
  border-style: solid;
  border-color: #88aa77;
  background-color: inherit;
}

h1 {
  font-size: 1.6em;
  font-variant: small-caps;
  color: #002200;
  border-width: 0 0 2px 0;
}

h2 {
  font-size: 1.3em;
  font-variant: small-caps;
  color: #224422;
  border-width: 0 0 2px 0;
}

h3 {
  font-size: 1.1em;
  color: #335533;
  border-width: 0 0 1px 0;
}

p {
  text-indent: 1em;
  text-align: inherit;
}

#footer {
  display: none;
}

/* Styles for images in documentation and articles */

img.inline, img.inlinetop {
  border: solid 2px #88aa77;
  padding: 2px;
}

img.inlinetop {
  vertical-align: top;
}

img.math {
  vertical-align: middle;
  margin-left: 10px;
  margin-right: 10px;
}

img.matrix {
  vertical-align: top;
  margin-right: 30px;
  margin-top: 10px;
}