view analysis/analysis.css @ 2674:b9efbbe0d829

#191: Now added to <page> nodes the “position” attribute

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