body {
  font-family: Calibri, "Lucida Grande", "Lucida Sans Unicode", Verdana, Arial, sans-serif;

  margin: 0pt;
  padding: 0pt;
}

.header {
  border-bottom: solid 1px black;
  font-size: 2em;
  padding: 0.4em 0pt 0.2em 0.8em;
}

.header a {
  text-decoration: none;
}

.navigation {
  float: left;
  margin: 1em 0pt 0pt 1em;
  width: 10em;
}

.menu a {
}

.link-active {
}

.menu a:active {
}

.menu, .sub-menu {
  list-style-type: none;
  padding: 0pt;
  margin: 0pt;
}

.search {
  width: 10.8em;
}

.menu {
  margin-bottom: 1em;
}

.menu span {
  display: block;
  padding: 0.2em;
}

.sub-menu {
  margin: 0pt;
  padding: 0.2em 0em 0.5em 0.5em;
}

.body {
  margin: 1em 1em 0pt 12em;
}

p {
  margin: 0pt auto 0.5em auto;
}

.item {
  margin: 0pt 1em 1em 1em;
}

h1 {
  font-size: 1.2em;
  margin-bottom: 0pt;
}

h2 {
  font-size: 1.1em;
  margin-bottom: 0pt;
}

h3 {
  font-size: 1em;
  margin-bottom: 0pt;
}

.item-info {
  display: block;
  font-size: 0.8em;
  margin-bottom: 0.8em;
}

dl {
  float: left;
  width: 100%;
}

dt {
  font-weight: bold;
  float: left;
  width: 10%;
  height: 1.4em;
}

dd {
  margin-left: 5em;
  height: 1.4em;
}

textarea {
  width: 95%;
}

.invisible {
  display: none;
}

fieldset {
  padding-left: 0em;
}

.item-form fieldset {
  padding-left: 0.7em;
}

label {
  display: block;
  float: left;
  width: 5em;
}

.item-form {
  margin-top: 2em;
}

.code-keyword {
  color: blue;
}

.code-comment {
  color: #008000;
}

.code-literal {
  color: #8B0000;
}

.code-inline {
  font-style: italic;
}

.code-header {
  font-weight: bold;
}

.code-ruler {
  border-right: solid 1px black;
  float: left;
  padding-right: 0.5em;
  width: auto;
}

.code-body {
  float: left;
  padding-left: 0.5em;
  width: 80%;
}

.code-line {
  border-right: solid 1px black;
}

pre {
  margin: 0pt;
}

.quote {
  font-size: 0.9em;
  font-style: italic;
  margin-left: 1em;
}
