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

a:link { color: #2299ff; }
a:visited { color: #2299ff; }
a:active { color: #2299ff; }

h1 {
  font-family: sans-serif;
  color: #2299ff;
}
h2, h3, h4, h5, h6 {
  font-family: sans-serif;
  color: #ff22a1;
}
h1.img-alt { margin: 0.15em; }

input, textarea {
  font-family: monospace;
}

p {
  text-align: justify;
}

img {
  border-style: none;
}

div#navbar {
    float: right;
    border: solid #ff5522 2px;
    background-color: #ff5522;
    color: white;
    padding-top: 0.15em;
    font-weight: bold;
    font-family: sans-serif;
    white-space: nowrap;
}
div#navbar p {
    display: run-in;
    margin: 0px;
    padding: 0px;
}
div#navbar ul {
    margin: 0px;
    padding: 0px;
}
div#navbar li {
    list-style-type: none;
    display: inline;
    padding: 0px 10px;
}
div#navbar li a {
    background-color: #ff5522;
    color: white;
    text-decoration: none;
    padding: 0px 10px;
}
div#navbar li a:visited {
    background-color: #ff5522;
}
div#navbar li a:hover {
    background-color: #2299ff;
}

p.commentTitle {
  font-family: sans-serif;
  background-color: #cccccc;
}

table.buglist {
  border-collapse: collapse;
}
table.buglist td, th {
  padding-right: 1em;
  padding-left: 1em;
  border: solid 1px;
  text-align: left;
}

div.sidebox {
  float: right; border: solid 1px; padding: 1em
}

.error {
  color: #000000;
}