html, body {
  background-color: white;
  color: black;
}

body
{
  background-image: url(side.gif);
  background-attachment: fixed;
  }

h3
{
  text-align: center
}

hr
{
  border: none;
  border-top: solid;
  border-top-width: thin;
}

img
{
  border-width: 0
}

img.new {
  width: 31px;
  height: 12px;
  vertical-align: baseline;
}

img.updated {
  width: 60px;
  height: 12px;
  vertical-align: baseline;
}

ul.ulmain
{
}

li.main
{
  list-style-type: disc;
  padding-bottom: 2ex
}

li.sub
{
  list-style-type: circle
}

li.subsub
{
  list-style-type: circle
}

span.section
{
  font-weight: bold
}

span.seealsoitem
{
  font-weight: bold
}

span.otherpageitem
{
}

a.urlnotfound
{
  background-color: white;
  color: red;
}

a.urlmoved
{
  background-color: white;
  color: #FF7F00;
}

a.urlbroken
{
  background-color: white;
  color: purple;
}

table.searchcetus
{
  font-size: x-small;
  text-align: center;
}

table.whoDoesWhat
{
  text-align: left;
  margin-left: 4em;
}

caption.whoDoesWhat
{
  padding-bottom: 1ex;
}

tr.whoDoesWhat
{
  padding-right: 7em;
  padding-bottom: 1ex;
}

table.whats-new
{
  width: 95%;
  margin-top: 3ex;
}

table.whats-new thead tr td
{
  background-color: silver;
  text-align: center;
}

table.whats-new tbody tr td
{
  width: 20%;
  text-align: left;
}

table.whats-new tbody tr td + td
{
  width: auto;
}

p.center
{
  text-align: center
}

/* use for centering things, tables for example */
div.center
{
  text-align: center;
  width: 100%;
}

div.center table
{
  margin-left: auto;
  margin-right: auto;
  text-align: left;
}

address
{
  margin-left: 1em;
}

/* mirrors themselves */

table.mirrors
{
  empty-cells: show;
}

table.mirrors tr
{
  text-align: left;
}

table.mirrors tr td.region
{
  background-color: silver;
}

table.mirrors tr td.host
{
  text-align: center;
}


/* links to mirrors */

table.mirror-links tr
{
  text-align: left;
}

table.mirror-links tr th
{
  background-color: silver;
}

table.mirror-links tr td.divider
{
  background-color: silver;
}


/* feedback forms */

button {
  font-family: sans-serif;
  padding-left: 2em;
  padding-right: 2em;
}

div.feedback {
  width: 85%;
  margin: auto;
  border-width: 7px;
  border-style: outset;
  border-color: silver;
  padding-bottom: 2ex;
  margin-top: 3ex;
  margin-bottom: 2ex;
}

div.feedback p.title {
  background: silver;
  border: 1px inset silver;
  margin: 0;
  font-weight: bold;
}

div.feedback div.border {
  border-top: 2px solid #e0e0e0;
  margin-top: 0;
}

div.feedback div.content {
  border: 1px inset silver;
  padding-bottom: 2ex;
}