body {
  color: #202020;
  background: #ffffff;
  background-image: url(gfx/111x111-01010110111011.png);
  background-repeat: no-repeat;
  font-family: Charter, serif;
  font-weight: normal;
  font-size: medium;
}

div.article {
  max-width: 40em;
  margin-left: 13em;
  padding-left: 1em;
  border-width: 0px 0px 0px 1px;
  border-style: solid;
  border-color: green;
}

div.plain-article {
  margin-left: 1em !important;
  border-width: 0px !important;
}

div.navigation {
  margin-top: 0em;
  height: 70%;
  width: 12em;
  position: fixed;
  top: 0px;
  bottom: auto;
  left: 0px;
  right: auto;
  border-width: 0px;
  border-style: solid;
  border-color: #e0e0e0;
  padding-top: 3em;
  padding-bottom: 20px;
  padding-left: 0px;
  background-color: transparent;
}

div.navigation p, div.navigation div {
  display: block;
  text-align: right;
  margin-top: 0px;
  margin-bottom: 5px;
  margin-right: 0px;
  margin-left: 5px;
}

a:link { color: #113388; }
a:visited { color: #000055; }
a:hover { color: #000000; }
a:active { color: #000000; }

div.navigation p a {
  font-size: 14pt;
  font-weight: normal;
  font-family: "Free Sans-Serif", sans-serif;
  text-decoration: none;
  display: block;
  padding-right: 2em;
  padding-top: 2px;
  padding-bottom: 2px;
  width: auto;
  background-color: #f4f4ff;
  margin: 0px;
  border-width: 2px 2px 2px 2px;
  border-style: groove;
  border-color: #ffffff;
  margin-left: 1em;
}

div.navigation p a#current {
  background-color: #f4e4ef;
}

div.navigation p a.subitem {
  font-size: 9pt;
  margin-left: 3em;
}

div.navigation p a:hover {
  background-color: #c0e8e0;
}

div.navigation p a#current:hover {
  background-color: #f0d8d0;
}

span.date {
  color: #7c1c37;
  font-family: monospace;
  font-weight: bold;
}

span.page-ref {
  color: #8200b2;
}

span.digression {
  color: #666666;
}

h1 {
  font-size: x-large;
  border-bottom: 1px black dotted;
}

h2 {
  font-size: large;
}

h3 {
  color: #400040;
  font-weight: bold;
  font-size: medium;
}

div.block-quote {
  font-size: smaller;
  margin-left: 2em
}

div.footnote {
  font-size: smaller;
  margin-top: 7em;
  border-top: 1px green dotted;
}

span.code, div.code {
  font-family: monospace;
}

span.quote {
  font-style: italic;
}

span.italic {
  font-style: italic;
}

span.strike {
  text-decoration: line-through;
}

span.highlight {
  color: #b03030;
  font-weight: bold;
}

span.emphasis {
  font-weight: bold;
}

span.underline {
  text-decoration: underline;
}

div.separator {
  text-align: center;
}

.imported-listing {
  width: 100%;
  height: 40em;
  padding-left: 5px;
  border-width: 1px;
  border-color: white;
  border-style: inset;
  background-color: #e8e8e0;
  font-size: 9pt;
}

div.thumb {
  width: 100%;
  min-height: 170px;
  display: block;
}

span.grid-thumb {
  padding: 1px;
  height: 170px;
}

img.thumb {
  border-width: 2px;
  border-style: ridge;
  float: left;
  clear: left;
  margin-right: 1em;
  margin-bottom: 1em;
}

img.grid-thumb {
  border-width: 2px;
  border-style: ridge;
  margin-right: 1em;
  margin-bottom: 1em;
}

img.right-float {
  border-width: 0px;
  float: right;
  margin: 0.5em;
}

img.w3icon {
  border-width: 1px;
  border-style: solid;
  border-color: #8080a0;
  padding: 3px;
  width: 88px;
  height: 31px;
}

h3.photo {
  width: 100%;
  padding: 5px;
  text-align: center;
  background-color: #c8ffc8;
}

div.mewArticle {
  text-align: center;
  margin-left: 20%;
  margin-right: 20%;
  margin-top: 7em;
  margin-bottom: 7em;
  padding: 1em;
  border-width: 1px;
  border-style: outset;
  border-color: #707090;
  background-color: black;
  color: white;
  opacity: 0.7;
  -moz-border-radius: 1cm;
}

div.mewPar {
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 2em;
  max-width: 28em;
  padding: 1em 1em 2em 1em;
  border-width: 1px;
  border-style: inset;
  border-color: #707090;
  background-color: white;
  color: black;
  -moz-border-radius: 1em;
}

div.mewForm {
  padding-bottom: 1em;
}

input.mew {
}

div.cat-ascii-block {
  margin-left: 7em;
  margin-top: 2em;
  text-align: left;
  font-family: monospace;
}

div.update {
  border-width: 3px;
  border-style: double;
  border-color: green;
  padding: 1em;
}