.title {
   font-weight: bold;
}

p.debug {
   color: #afafff;
   font-size: x-small;
}

a.author {
   font-style: normal;
}

a.small {
   font-size: small;
}

body {
   background-color: #ffffff;
   border-color: #000080;
   border-style: solid;
   border-width: 2px 2px 2px 20px;
   color: #000000;
   margin: 10px;
   padding: 25px;
}

input {
   border-color: #0000a0;
   border-style: solid;
   border-width: 1px;
   background: #efefff;
}

table.results {
   width: 100%;
}

td.v1pre {
   background: #e8e8ff;
   margin-bottom: 7px;
   padding: 3px;
   text-align: right;
   vertical-align: top;
   width: 40px;
}

td.v2pre {
   background: #ffffff;
   margin-bottom: 7px;
   padding: 3px;
   text-align: right;
   vertical-align: top;
   width: 40px;
}

td.v1 {
   background: #e8e8ff;
   margin-bottom: 7px;
   padding: 3px;
   vertical-align: top;
}

td.v2 {
   background: #ffffff;
   margin-bottom: 7px;
   padding: 3px;
   vertical-align: top;
}