n@1102: div.chart-holder {
n@1102:     border: 1px black solid;
n@1102:     margin: 10px 0px;
n@1102: }
n@1102: div.code {
n@1102:     margin: 5px;
n@1102:     padding-left: 15px;
n@1102:     background-color: rgb(200,200,200);
n@1102:     border: 2px dashed black;
n@1102: }