body {
  margin: 0;
  padding: 0;
}
#mainbox {
  margin: 0;
  padding: 0;
}
#tools {
  width: 800px;
  min-height: 400px;
  background: transparent url('/images/tools.png') no-repeat right top;
  padding: 80px 10px 50px 10px;
  margin: 0 auto;
}
#toolsindex {
  padding: 30px;
  font-size: 32px;
  font-weight: normal;
  line-height: 42px;
  text-transform: lowercase;
}
#toolsindex a {
  color: #A1013F; 
  background-color: transparent;
  text-decoration: none;
}
#toolsindex a:hover {
  text-decoration: underline;
}
h1 { color: #A1013F; }
div.block {
    float: left;
    display: block;
    margin-right: 20px;
    margin-bottom: 20px;
    width: 210px;
}
.regtable td, .regtable th {
    border: 1px black solid;
    padding: 5px;
    background-color: white;
    color: black;
    vertical-align: top;
}
.regtable thead td, .regtable th {
    background-color: #444444;
    color: white;
}

.regtable td.highlight {
    background-color: #CCCCCC;
}
pre.code {
    width: 650px;
    border: 1px #666666 solid;
    padding: 10px;
    margin: 10px;
    overflow-x: auto;
}