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