table.config {
   border-width: 4px;
   border-spacing: 2px;
   border-style: solid;
   border-color: #D0D0D0;
   border-collapse: collapse;
   background: white;
}
table.config td {
   border-width: 1px;
   padding: 1px 5px 1px 5px;
   border-style: solid;
   border-color: black;
 }
table.config tr:nth-child(odd) {
   background: #F0F0F0
}
table.linedbox {
        border-width: 4px;
        border-spacing: 2px;
        border-style: solid;
        border-color: #D0D0D0;
        border-collapse: collapse;
        background-color: white;
}
table.linedbox td {
        border-width: 1px;
        padding: 1px;
        border-style: solid;
        border-color: black;
        background-color: white;
        -moz-border-radius: ;
}
table.narrowlinedbox {
        border-width: 1px;
        border-spacing: 2px;
        border-style: solid;
        border-color: black;
        border-collapse: collapse;
        background-color: white;
}
table.narrowlinedbox td {
        border-width: 1px;
        padding: 1px;
        border-style: solid;
        border-color: black;
        background-color: white;
        -moz-border-radius: ;
}
td.high {
   background: #F0F0F0
}
table.config th {
   background: #F0F0F0
}
table.odd {
   background: #F0F0F0
}
div.indent {
   padding: 0px 0px 0px 30px;
}
div.simplebox {
   display: inline-block;
   border-width: 4px;
   padding: 4px;
   border-style: solid;
   border-color: #D0D0D0;
   background-color: white;
}
div.figurebox {
   display: inline-block;
   border-width: 4px;
   padding: 4px;
   margin: 0px 0px 0px 40px;
   border-style: solid;
   border-color: #D0D0D0;
   background-color: white;
   *display:inline;
   zoom:1;
}
img.top {
   vertical-align: text-top;
}
div.smallskip {
   height: 8px;
}
ul.noskip {
   margin: 0px 0px 0px 0px;
}
ol.noskip {
   margin: 0px 0px 0px 0px;
}
pre.noskip {
   margin: 0px 0px 0px 0px;
}
h3.noskip {
   margin: 20px 0px 0px 0px;
}
pre.simplebox {
   display: inline-block;
   margin: 0px 0px 0px 40px;
   border-width: 4px;
   padding: 4px;
   border-style: solid;
   border-color: #D0D0D0;
   background-color: white;
}