3
font-family: sans-serif;
11
text-decoration: underline;
13
.synopsis, .classsynopsis
16
border: solid 1px #aaaaaa;
22
border: solid 1px #aaaaff;
30
.variablelist td:first-child
49
text-decoration: none;
53
text-decoration: underline;
59
border-collapse: collapse;
62
border-color: #777777;
66
div.table table td, div.table table th
69
border-color: #777777;
77
background-color: #eeeeee;