7 font-family: Arial
, Lucida
, sans-serif
;
26 font-family: monospace
;
29 div
.funcsynopsis table
31 font-family: monospace
;
34 div
.informaltable table
38 border-collapse: collapse
;
39 background-color: #F0F0F0;
61 font-family: monospace
;
73 border-collapse: separate
;
74 background-color: #F0F0F0;
75 font-family: sans-serif
;