body {
  background: #b5bf95;
  color: #333;
  margin: 2em 2em 2em 2em;
  xfont-family: "legitima-1", "legitima-2", "serif";
  font-family: "cronos-pro-1", "cronos-pro-2", "serif";
  font-size: 14pt;
  xfont-family: "legendum-1", "legendum-2", "courier";
  xfont-family: "dutismo-1", "dutismo-2", "courier";
}

h1 {
  font-family: "scheme-1", "scheme-2", "courier";
  font-size: 150%;
}

h2 {
  font-family: "scheme-1", "scheme-2", "courier";
  font-size: 125%;
}

#header {
  background-color: #9eaf67;
  border: solid 1px #fff;
  color: #fff;
  padding: 0em 2em 5.5em 2em;
  margin: 0em;
}

#header h1 {
  font-size: 200%;
  float: left;
}

#header img {
  float: right;
  vertical-align: middle;
  height: 4em;
  top: 0.75em;
  position: relative;
}

#page {
  background: #fff;
  color: #000;
  padding: 1em 5em 1em 5em;
  margin: 0em;
  clear: both;
}

#page h1 {
  margin-bottom: 0px;
}

#page #date {
  font-size: 75%;
  font-style: italic;
  margin: 0px;
}

pre {
  font-size: 12pt;
  margin-top: 1em;
  margin-bottom: 0em;
}

code {
  font-size: 12pt;
  xxfont-weight: bold;
}

div#page pre {
  margin-left: 2em;
  margin-right: 2em;
  background: #d5dfb5;
  padding: 0.5em;
  overflow: auto;
}

#footer {
  background-color: #9eaf67;
  border: solid 1px #fff;
  color: black;
  padding: 1em 2em 2em 2em;
}

#footer .contact {
  float: left;
}

#footer .links {
  font-style: italic;
  color: #442;
  float: right;
}

#end-footer {
  clear: both;
}

a:hover { text-decoration: underline; }
a {
   text-decoration: none;
   color: #770;
}
h1 a { text-decoration: none; color: inherit; }
h1 a:hover { text-decoration: none; color: inherit; }

.articles .date {
  font-size: 75%;
  font-style: italic;
  color: #442;
  padding-left: 1em;
}

#back {
  font-style: italic;
  color: #442;
  margin-top: 2em;
}

blockquote {
  color: #450;
  font-style: italic;
}

.spacer {
  padding-left: 0.5em;
  padding-right: 0.5em;
}

.math {
  font-size: 16pt;
  font-family: monospace;
  margin-left: 2em;
  margin-right: 2em;
  overflow: auto;
}
.mathspan {
  color: #383;
}

.inset {
  margin-left: 2em;
}

.blue {
  color: #55F;
}
.green {
  color: #383;
}

.small {
  font-size: 8pt;
}

table {
  border-collapse: collapse;
  border-spacing: 0px;
  margin-left: 2em;
}
table th {
  background-color: #333;
  color: #fff;
  border: solid 1px #333;
}
table th.wide {
  width: 4em;
}
table td {
  border: solid 1px black;
  width: 1.5em;
}
table td.section {
  border-left: solid 5px black;
}