nickjillings@1939: div.chart-holder {
nickjillings@1939:     border: 1px black solid;
nickjillings@1939:     margin: 10px 0px;
nickjillings@1939: }
nickjillings@1939: div.code {
nickjillings@1939:     margin: 5px;
nickjillings@1939:     padding-left: 15px;
nicholas@2538:     background-color: rgb(200, 200, 200);
nickjillings@1939:     border: 2px dashed black;
nickjillings@2192: }
nicholas@2538: table td tr {
nickjillings@2192:     padding: 5px;
nickjillings@2192: }
nicholas@2538: div.filter-entry {
nickjillings@2192:     padding: 5px;
nicholas@2538: }