/* vim: set tw=100 et ts=2 sw=2: */

html, body, form, p, img, table, th, td, ul, ol, li, h1, h2, h3, h4, h5, h6, blockquote {
  margin: 0; padding: 0; font-size: 100%; font-weight: normal; font-style: normal; border: 0;
  line-height: 1.3;
}
body, table {
  font-family: FreeSans, Arial, sans-serif;
}
pre {
  font-family: "DejaVu Sans Mono", monospace; font-size: 14px; font-weight: bold;
  overflow: auto; margin: 8px; padding: 8px; background: #eeeeee; color: #333333;
}
p {
  margin: 12px 0;
}
.strike {
  text-decoration: line-through;
}
/*p.first {
  font-weight: bold;
}*/
a {
  color: #115522; font-weight: bold;
}
.box {
  margin-bottom: 48px;
}
.box > p, .box > pre, .box > ul, .box > div, .box img {
  margin-left: 24px; margin-right: 24px;
}
ul {
  list-style: square;
}
ol {
  list-style: decimal;
}
li {
  margin: 0 24px 8px 24px;
}
#container {
  position: relative; width: 760px; margin: 0 auto; font-size: 15px;
}
#header {
	height: 128px;
}
#footer {
  margin: 4px 24px; font-size: 12px; text-align: center;
}
#footer img {
  position: relative; top: 3px;
}
#mainmenu {
	position: absolute; width: 120px; height: 128px; top: 0; right: 24px;
}
#mainmenu ul, #bottommenu ul {
  width: 120px; list-style: none;
}
#mainmenu li, #bottommenu li {
  margin: 0; display: inline;
}
#mainmenu a, #bottommenu a {
  display: block; text-decoration: none; padding: 1px 4px 0 0; text-align: right;
}
#mainmenu .active a, #mainmenu a:hover, #bottommenu .active a, #bottommenu a:hover {
  background: #115522; color: white;
}
#bottommenu {
  width: 120px; margin: 0 0 0 auto;
}
h1 {
  font-size: 64px; letter-spacing: -4px; margin: 0 0 0 24px; padding-top: 24px;
}
h1 a {
  color: black;
}
h2 {
  margin-left: 32px; font-size: 20px; font-style: italic; position: relative; top: -16px;
  display: inline;
}
.submenu {
  margin: 0 24px 40px 24px;
}
h3 {
	font-size: 17px; font-weight: bold; letter-spacing: 1px;
  border-bottom: 2px solid #119922; margin: 8px 0 8px 0;
}
h3, h3 a {
  color: #119922;
}
h4 {
  color: #119922; border-bottom: 2px dashed #119922; font-weight: bold; margin: 8px 24px;
}
.signature {
  font-size: 20px; font-family: "URW Chancery L", Purisa, serif; font-weight: bold;
  text-align: right; margin-bottom: 24px; color: #115522;
}
.ps {
  font-size: 12px;
}
.obsolete {
  text-decoration: line-through;
}
blockquote {
  margin: 8px 48px;
}
blockquote p, .update p {
  font-style: italic; color: #666666; font-weight: bold;
}
.update h4 {
  margin: 8px 0; color: #991122; border-bottom-color: #991122;
}