body {
  margin: 0 0 4em 0;
  background-color: #ffffff;
  color: #000000;
}

a:link, a:visited {
  color: #3333ff;
  text-decoration: none;
}

a:hover {
  color: #3333ff;
  text-decoration: underline;
}

a:active {
  color: #ff3333;
  text-decoration: underline;
}

h1 {
  font-size: 160%;
  font-weight: bold;
  background-color: #ffffdf;
  color: #334455;
  margin: 0 0 0.8em 0;
  padding: 1em 2em 0.6em 2em;
  border-style: none none solid none;
  border-width: 0 0 1px 0;
  border-color: #eeeedd;
}

h1 a:link, h1 a:visited, h1 a:hover, h1 a:active {
  color: #334455;
}

h2 {
  font-size: 120%;
  font-weight: normal;
  color: #000000;
  margin: 0.8em 9% 0.4em 9%;
  padding: 0.2em 0 0.2em 10px;
  border-style: solid;
  border-width: 2px 2px 2px 10px;
  border-color: #2266ff;
}

h3 {
  font-size: 100%;
  font-weight: normal;
  color: #000000;
  margin: 0.8em 10% 0.4em 10%;
  padding: 0.2em 0 0.2em 10px;
  border-style: solid;
  border-width: 2px 2px 2px 7px;
  border-color: #ff4422;
}

body ul {
  margin-left: 10%;
  margin-right: 10%;
  padding-left: 1.5em;
}

ul ul {
  margin-left: 2em;
  margin-right: 0;
  padding-left: 0;
}

p {
  margin: 1em 10% 1em 10%;
}

div.screenshot {
  text-align: center;
}

dt {
  margin-left: 10%;
  margin-right: 10%;
  background-color: #ffddc0;
  border: solid;
  border-width: 0 2px 2px 0;
  border-color: #ffccb0;
  padding: 0.2em 0.4em 0.1em 0.4em;
}

dd {
  margin-left: 10%;
  margin-right: 10%;
  padding: 0.3em 0.4em 0.3em 3em;
  background-color: #fff8e8;
}

pre {
  margin-left: 10%;
  margin-right: 10%;
}

li pre {
  margin-left: 0;
  margin-right: 0;
}

pre.border {
  background-color: #fffcff;
  border: solid;
  border-width: 1px;
  border-color: #ddd0dd #887088 #887088 #ddd0dd;
  padding: 0.5em;
}