body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  line-height: 150%;
  font-size: 14px;
  margin: 1em 5%;
  background: white;
  color: black;
}

h1 {
  font-size: 1.4em;
}

h2 {
  font-size: 1.2em;
  padding-top: 1.2em;
}

h3 {
  font-size: 1.0em;
}

h4 {
  font-size: .8em;
}

img {
  border: 0;
}

p, ul, ol, li {
  margin-top: .6em;
  margin-bottom: .6em;
}
ul, ol {
  margin-left: .9em;
  padding-left: .9em;
}

code, kbd, var {
  font-family: Courier, "Courier New", monospace;
}

code, kbd, var, tt {
  font-size: 1.0em;
}

table {
  width: 100%;
  margin: 1em;
  background: #F9F9F9;
  border: 1px #AAA solid;
  border-collapse: collapse;
  font-size: 1.0em;
}

table th,
table td {
  border: 1px #AAA solid;
  padding: .2em;
  vertical-align: top;
  line-height: 140%;
  font-size: 1.0em;
}

table th {
  background: silver;
  text-align: center;
  font-weight: bold;
}

tbody tr:nth-of-type(2n+1) {
  background: rgb(240,240,240);
}

dt {
  font-weight: bold;
}

.usual {
  font-size: 100%;
}

.menu {
  background: #dddddd;
  color: black;
  padding: 5px;
}

.footer {
  font-size: 90%;
  background: #dddddd;
  color: black;
  padding: 5px;
  margin-top: 4px;
}

.comment {
  font-size: 80%;
}

.codeheader {
  font-family: Courier, "Courier New", monospace;
}

a:link {
  color: #2222FF;
  background: transparent;
}

a:visited {
  color: #2222FF;
  background: transparent;
}

a:hover {
  color: #5252FF;
  background: transparent;
}

/*a:hover   { color: #333366; background: #AAAADD; }*/
a:active { color: #2222FF;
  background: transparent;
}

/* this is to prevent Mozilla from applying :hover on <a name="..."> */
a[name] {
  color: black;
  background: transparent;
}

a.wikipedia {
  text-decoration: none;
  color: black;
  border-bottom: 1px dotted black;
}

span.tt {
  font-family:'Lucida Console', monospace;
}

strong {
    font-weight: bold;
}

em {
    font-style: italic;
}