2 font-family:"DejaVu Sans Mono", "Monaco", monospace;
4 border-collapse:collapse;
8 table.summary tr, table.summary td, table.summary th
10 border:1px solid #777777;
11 border-collapse:collapse;
38 text-decoration:underline;
50 background-color:#CCFFCC;
53 background-color:#F4F4AF;
55 .incompatible, .removed {
56 background-color:#FFCCCC;
59 background-color:#C6DEFF;
61 table.summary td.object {
70 table.summary td.comment {