ubuntu-bots/bot.css

body {
  font-family: Verdana, sans-serif;
  font-size: 10px;
  font-weight: bold;
  background-color: #f0f8ff;
  color: #000066;
}

div.home {
  width: 300px;
  margin: 20px auto;
  padding: 0px 10px;
  border: 2px solid #000066;
  background-color: #ffffff;
  text-align: center;
}

#about h1 img {
  vertical-align: middle;
}

.submit {
  font-size: 10px;
  font-weight: bold;
  border: solid 1px #000066;
  background-color: #f0f8ff;
  color: #000066;
}

.input {
  font-size: 10px;
  font-weight: bold;
  border: solid 1px #000066;
  background-color: white;
  color: #000066;
}

th {
  border-bottom: solid 1px #000066;
  text-align: center;
}
td, th {
  font-size: 10px;
  text-align: left;
  vertical-align: top;
}
td.comment {
  white-space: normal;
  padding-left: 20px;
}

li {
  list-style: none;
}

table {
  width: 100%;
  padding-top: 1em;
  clear: both;
}

div.main {
  margin: 20px;
  padding: 0px;
  border: 2px solid #000066;
  background-color: #ffffff;
  text-align: center;
}
div.pdata {
  float: right;
  text-align: right;
  padding-right: 10px;
}
div.search {
  float: left;
  text-align: left;
  padding-left: 10px;
}

a, span.pseudolink {
  color: #0000ff;
  text-decoration: underline;
  cursor: pointer;
}
a.disabled {
  text-decoration: line-through;
}

span.removal {
  color: #6699cc;
}
span.note {
  font-size: 75%;
  font-weight: normal;
  vertical-align: sub;
}

tr.bg2 {
  background-color: #f0f8ff;
}

div.invisible {
  display: none;
}

div.log {
  width: 100%;
  display: none;
  color: black;
  font-family: monospace;
  font-weight: normal;
  white-space: normal;
  text-align: left;
  clear: both;
  padding-top: 1em;
}

.highlight {
  background-color: yellow;
}

.errors {
  font-size: larger;
  font-weight: bold;
  text-align: center;
  vertical-align: middle;
  text-decoration: underline;
}

a > img {
  border: 0;
}

.small-banner {
  width: 140px;
  height: 41px;
}