Fix ROOM on Windows.
[sbcl.git] / doc / manual / style-single.css
1   .node { visibility:hidden; height: 0px; }
2   .menu { visibility:hidden; height: 0px; }
3   .chapter { background-color:#d0e4fe; }
4   .section { background-color:#d0e4fe; }
5   .subsection { background-color:#d0e4fe; }
6   .settitle { background-color:#d0e4fe; }
7   .contents { border: 2px solid black;
8               margin: 1cm 1cm 1cm 1cm; 
9               padding-left: 3mm; }
10   body { padding-left: 3mm; }