4 border: 1px solid black;
15 .TITLEPAGE, .LOT, .TOC {
16 font-family: sans-serif;
21 border: 1px solid black;
29 font-family: sans-serif;
34 font-family: sans-serif;
37 .figure b, .table b, .example b {
45 .screen, .synopsis, .programlisting {
51 border-color: #bbbbbb;