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