/* body */
body {
  line-height: 1.6;
  font-family: Georgia, serif;
}

/* headers */
h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: Palatino, Garamond, Times, Georgia, serif;
  font-weight: normal;
  font-style: normal;
  font-size: 1em;
  line-height: 1.2;
}

h1 {
  font-size: 2.4em;
  clear: left;
}

h2 {
  font-size: 1.6em;
  clear: left;
}

h3 {
  font-size: 1.2em;
  clear: left;
}

/* pre, code, kbd, and blockquote */
pre,
code,
kbd,
blockquote {
  font-family: "DejaVu Sans Mono", monospaced;
  font-size: 0.9em;
}

pre {
  padding: 0.5em;
  overflow: auto;
}

/* horizontal rules */
hr {
  border: none;
  border-top: thin solid #ccc;
}

/* tables */
table {
  border-top: double black;
  border-bottom: thin solid black;
  border-spacing: 0;
  margin: 0 auto;
}

th {
  border-bottom: thin solid black;
}

td {
  padding: 0 0.5em;
}

/* definition lists */
dd {
  margin-left: 1.5em;
}

/* footnotes */
a.noteref {
  font-size: 0.7333em;
  vertical-align: super;
}

#notes > li > p {
  display: inline;
}

/* images */
p img {
  float: right;
  padding-left: 1em;
}

div.image {
  text-align: center;
  margin: 2em;
}

div.image img {
  border: thin solid #ccc;
  padding: 2px;
}

div.image p {
  margin:0;
}

div.image p strong {
  display: block;
}

/* math */
merror {
  display: inline;
  font-size: 1em;
}

math[display=block] {
  overflow: auto;
  margin: 0.75em 0;
}

math {
  white-space: nowrap;
}

.numberedEq span {
  float: right;
}

/* meta content */
.meta {
  font-family: sans;
  font-size: 0.875em;
}

.meta,
.meta a:link,
.meta a:visited {
  color: #888;
}

h1 + div.dateline {
  margin-top: -1.25em;
  text-transform: uppercase;
}

#mathml-notice {
  float: right;
  width: 11em;
  border: thin solid #ccc;
  margin-left: 1.0em;
  font-size: 0.8em;
  padding: 0.5em;
}

#mathml-notice img {
  float: left;
  margin: 0;
  padding: 0;
  margin-right: 0.5em;
}

/* error pages */
.error .icon {
  float: left;
  font-size: 4em;
  line-height: 1em;
  margin-right: 0.2em;
}

/* code */
code .selector,
code .difflines,
code .function,
code .bold,
code .keyword {
  font-weight: bold;
}

code .comment,
code .preproc,
code .italics,
code .value {
  font-style: italic;
}

code .string,
code .regexp,
code .character,
code .number {
  color: #444;
}

code .math,
code .comment,
code .preproc {
  color: #666;
}