body {
  background-color: #fff;
  color: #000;
  font-family: "Liberation", serif;
  margin: 1em auto;
  padding: 0em 1em 0em 1em;
  text-align: left;
  font-size: 1em;
  max-width: 40em;
  line-height: 1.5em;
}

h1 {
  padding-bottom: 0.3em;
}

h2 {
  padding-top: 0.3em;
  padding-bottom: 0.3em;
}

h4 {
  padding-left: 1em;
}

a {
  font-weight: bold;
  color: #225588;
}

dd {
  margin-left: 2em;
}

code {
  font-family: "Liberation Mono",monospace;
}

pre {
  display: block;
  margin-left: 2em;
  font-size: 0.832em;
  font-family: "Liberation Mono",monospace;
}

dd pre {
  margin-left: 0em;
}

pre.code a {
  font-weight: normal;
}

figure {
  text-align: center;
}

img {
  max-width: 90%;
  display: block;
  margin-left: auto;
  margin-right: auto;
}

blockquote {
  padding: 0 2em 0 2em;
  margin: 0 1em 0 1em;
  max-width: 36em;
  color: #666666
}

hr {
  border: 0;
  border-bottom: 1px solid #aaaaaa;
}

table.list {
  border-spacing: 0;
  text-align: center;
  width: 100%;
}

th.list {
  font-variant: small-caps;
  padding: 0.5em 2em 0.5em 2em;
  margin: 0em;
  text-align: center;
  background-color: #ffffff;
}

.list tr:nth-child(2n+1) {
  background-color: #f5f5f5;
}

td.list {
  padding: 0em 2em 0em 2em;
  margin: 0em;
  text-align: center;
}

td {
  vertical-align: top;
}

/*******************************************************************************
 * Page layout
 ******************************************************************************/
#menu {
  width: 100%;
  font-variant: small-caps;
  font-size: 120%;
  font-weight: bold;
}

#menu a {
  text-decoration: none;
  color: #AAAAAA;
}

#menu a:hover {
  color: #777777;
}

#sub-menu {
  padding-bottom: 1em;
}

#sub-menu a {
  text-decoration: none;
  font-weight: normal;
  color: #000000;
}

#sub-menu a:hover {
  color: #777777;
  font-weight: normal;
}

.cur { /* Selected sub-menu entry */
  color: #f44d27
}

#content {
  max-width: 50em;
  overflow: hidden;
  text-align: justify;
  text-justify: inter-word;
}

#footer {
  text-align: left;
  color: #777;
  font-size: 80%;
  padding: 1em 0.5em 0 0.5em;
  line-height: 1.5em;
}

#footer a {
  color: #333333;
  font-weight: normal;
  text-decoration: none;
}