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

body, table {
  font-family: Arial,sans-serif;
  font-size: 13px;
}

/* ignored by IE */
html>body pre {
  padding-bottom: 0;
  width: auto;
}

pre {
  overflow: auto;
  padding: 0.5em;
  background: #ff9;

  /* These are for IE only */
  padding-bottom: 1em;
  width: 38em;
}

.GMapEZ {
  float: right;
  margin-bottom: 10px;
  margin-left: 10px;
}

.sidebar {
  float: right;
}

.toc {
  font-size: 11px;
  border: 1px #aaa solid;
  background: #ddd;
  padding: 0.5em;
  margin-left: 1em;
}

.toc ol {
  margin-top: 0;
}

img {
  border: none;
}

h1 {
  margin-bottom: 0.2ex;
}

p, h1, h2 {
  margin-top: 0;
}

h2 {
  clear: right;
}

h4 {
  margin-bottom: 0;
}

.meta {
  margin-top: 0;
  margin-bottom: 0;
}

hr {
  clear: both;
}

table.main {
  border-spacing: 0;
  border-collapse: collapse;
}

td {
  vertical-align: top;
  padding: 1ex;
}

.menucol .menu {
  width: 170px;
  white-space: nowrap;
  margin-bottom: 1em;
}

.menu a, .menu b {
  display: block;
  padding: 0.5ex;
  border: 1px #fff solid; /* IE doesn't do transparent borders */
}

.menu b, .content {
  background: #ccf;
  border: 1px #66e solid;
}

.menu h4 {
  padding: 0.5ex;
  margin-top: 0.5ex;
}

.menu .menugroup a, .menu .menugroup b {
  padding-left: 2.5ex;
}

.menucol {
  padding: 0;
}

.menucol div {
  margin: 0;
  padding: 0;
}

.menu b {
  position: relative;
  z-index: 1;
  border-right: none;
  margin-right: -1px;
}

.menu a:hover {
  background: #eef;
}

form {
  margin: 0;
}

dt {
  font-weight: bold;
}

.newsdate {
  float: right;
  font-weight: normal;
  margin-left: 1em;
}

table.donate {
  width: 100%;
}

table.donate td {
  text-align: center;
}

img.screenshot {
  border: 1px #aaa solid;
}

.galleryitem img {
  float: right;
  border: 1px #aaa solid;
}

.galleryitem {
  clear: right;
}

table.open {
  border: hidden;
  border-collapse: collapse;
}

table.open td, table.open th {
  border: none;
  border-bottom: 1px #7e8a96 solid;
  border-right: 1px #7e8a96 solid;
  padding-left: .5em;
  padding-right: .5em;
}

.rssicon {
  width: 36px;
  height: 14px;
  margin-left: 18px;
}

.googlegroupbox {
  float: right;
  border: 1px solid #aa0033;
  text-align: center;
  padding: 1ex;
  margin: 1ex;
  background: #fff;
}

.releasenote {
  background: #ddf;
  border: 1px #66e solid;
  padding: 1ex;
  margin-bottom: 1ex;
}