/* Layout */

#wrapper {
  margin: 0 auto;
}

#wrapper.normal-width {
  width: 55em;
}

#header #primary-navigation {
  float: left;
  margin: 0.7em 0;
}

#header #secondary-navigation {
  float: right;
  margin: 0.7em 0;
}

#page {
  clear: both;
  padding: 1em 1.5em;
}

h1 {
  margin-top: 0;
  margin-bottom: 0.3em;
}

h2, h3, h4, h5, h6 {
  margin-top: 0.6em;
  margin-bottom: 0;
}

p {
  margin-top: 0.2em;
  margin-bottom: 0.7em;
}

ul, ol, table, pre {
  margin-top: 0.4em;
  margin-bottom: 1em;
}

pre {
  margin-left: 1em;
  margin-right: 1em;
  overflow: hidden;
}

pre:hover {
  overflow: visible;
}

/* Colors and small graphical details */

body {
  background-color: #E5E3DE;
  color: black;
}

a {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

#header,
#footer {
  color: #A7A4A3;
}

#header a,
#footer a {
  color: #716F6E;
}

#header a:hover,
#footer a:hover {
  border-bottom-color: #888;
}

#page {
  background-color: white;
  color: black;
  border: 1px solid #AEAEAE;
}

#page p#metadata {
  color: #777;
}

#page a {
  color: #0048B9;
}

#footer p {
  margin: 0.7em 0;
}

h1, h2, h3, h4, h5, h6 {
  color: #242424;
}

p#fn1 {
  padding-top: 0.4em;
  border-top: 1px solid #F1F1F1;
}

a img {
  border: none;
}

del {
	color: #851522;
	background-color: #FDC6CB;
}

ins {
	color: #206513;
	background-color: #CDFFC7;
}

/* Fonts */

body, table {
  font-family: "Myriad Pro", "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 15px;
}

code, pre {
/* FIXME: Font sizes seem to differ a lot. */
/*  font-family: "Andale Mono", "Lucida Console", monospace; */
  font-family: monospace;
}

blockquote {
  font-style: italic;
}

strong {
  font-weight: 600;
}

em {
  font-style: italic;
}

sup {
  font-size: 65%;
}