body {
  color:black;
  font-family: "sans serif";
  font-size: 12;
}

a {
  color: #222222;
}
a:visited {
  color: #000000;
}
a:active, a:hover {
  color: #2222cc;
}

option {
  font-family: "sans serif";
  font-size: 12;
}
.category {
  font-family: "sans serif";
  font-size: 12;
  font-weight: bold;
}

h1 {
  font-size: 20;
}
h3 {
  font-size: 16;
}

select {
  font-family: "sans serif";
  font-size: 12;
}

td {
  font-size: 12;
  vertical-align: top;
}
th {
  font-size: 14;
  font-weight: bold;
  text-align: left;
}
.oddrow {
  background: #ffffff;
}
.evenrow {
  background: #eaeaea;
}
.alert {
  background: #ff9a9a;
}
.number {
  text-align: right;
}
pre {
  font-size: 12;
}
.bold {
  font-weight: bold;
}

/* The specific style rules used to suggest rendering */
/* for the CSS table design example, starts here */

DIV.base-layer {
  background: none #cc9966; border: solid #333333 1px; color: #000000;
  margin: 0.5em 12px 0.5em 12px; padding: 0; text-align: center; width: auto;
}

DIV.table-row {
  border: none;
  margin-top: 0; margin-right: auto; margin-bottom: 0; margin-left: auto;
  padding: 0; text-align: left; width: 96%;
}


DIV.piece {
  border: none; float: left; margin: 0; padding: 0; width: 33%; text-align: left;
}

strong {
  font-size: 14px;
}

hr {
}

.command {
  font-family: monospace;
  font-weight: bold;
}
.output {
  font-family: monospace;
}
.timestamp {
  font-style: italic;
  font-size: 11px;
}

.txbutton {
  background-color:#e8e8e8;
  line-height:1.7em;
  margin-top:6px;
  margin-bottom:2px;
  padding:3px 3px 1px 3px;
  border:1px solid black;
  text-decoration:none;
  color:#000000;
  white-space:nowrap;
}