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

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;
}

table {
  width: 100%;
}

td, th {
  vertical-align: top;
  padding: 4px;
  line-height: 128%;
  font-size: smaller;
}

th {
  text-align: left;
  background: silver;
}

.r2 {
  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;
}

