b73bb253554cf0f7df1bd1e4f2045e672151a4fc
7 font-family: Arial
, Lucida
, sans-serif
;
26 font-family: monospace
;
29 div
.informaltable table
33 border-collapse: collapse
;
34 background-color: #F0F0F0;
56 font-family: monospace
;
68 border-collapse: separate
;
69 background-color: #F0F0F0;
70 font-family: sans-serif
;