body {
  background-color: #000000;
  color: #ffffff;
  font-family: Helvetica, Arial, sans-serif;
  font-size: 90%;
  text-align: left;
  margin-left: 2em;
  margin-right: 2em;
  margin-top: 1ex;
  margin-bottom: 0ex;
}
td {
  font-family: Helvetica, Arial, sans-serif;
	font-weight: bold;
}
h1 {
  font-family: Helvetica, Arial, sans-serif;
  font-size: 150%;
  margin-top: 3ex;
  margin-bottom: 1ex;
  text-align: center;
}
h2 {
  font-family: Helvetica, Arial, sans-serif;
  font-size: 120%;
  margin-top: 3ex;
  margin-bottom: 1ex;
}
h3 {
  font-family: Helvetica, Arial, sans-serif;
  font-size: 100%;
  margin-bottom: 1ex;
}
h4 {
  font-family: Helvetica, Arial, sans-serif;
  font-weight: bold;
  margin-bottom: 1ex;
}
p  { margin-bottom: 1ex; }
ul { list-style-type: disc; }
hr {
  height: 1ex;
  width: 80%;
  margin-top: 3ex;
  margin-bottom: 3ex;
  background-color: #ccddff;
  border-style: none;
  text-align: center;
}
:link    { color: #ffff00; text-decoration: none; }
:visited { color: #ffffc0; text-decoration: none; }
td.header { font-size: 150%; font-weight: bold; color: #006699; }
p.menu { font-size: 80%; text-align: center; }
p.topmenu { font-size: 80%; text-align: center; }
div.block_top {
  background-color: #ccddff;
  margin-left: -2em;
  margin-right: -2em;
  padding-top: 1ex;
  padding-bottom: 1ex;
  padding-left: 2em;
  padding-right: 2em;
}
div.block_bottom {
  background-color: #ccddff;
  margin-left: -2em;
  margin-right: -2em;
  margin-top: 2ex;
  padding-top: 1ex;
  padding-bottom: 1ex;
  padding-left: 2em;
  padding-right: 2em;
}
div.htdigblock {
  background-color: #ddeeff;
  margin-top: 2ex;
  margin-bottom: 2ex;
  margin-left: -2em;
  margin-right: -2em;
  padding-top: 10px;
  padding-bottom: 10px;
  padding-left: 2em;
  padding-right: 2em;
  min-height: 74px;
  /* 54px for the image, plus 2*10px for the padding. If the text is larger,
     the block will be larger as well. */
}
p.admin { font-size: 70%; font-style: italic; }
p.centered { text-align: center; }
table.list {
  margin-left: auto;
  margin-right: auto;
}
table.list td {
  padding-top: 0ex;
  padding-bottom: 1ex;
  padding-left: 1em;
  padding-right: 1em;
}
table.list th {
  padding-top: 0ex;
  padding-bottom: 1ex;
  padding-left: 1em;
  padding-right: 1em;
  font-weight: bold;
}

ul.rules li { margin-bottom: 1ex; }
li { font-size: 80%; }