2 font-family: 'Lucida Grande', 'DejaVu Sans', 'Bitstream Vera Sans', Verdana, Arial, sans-serif;
3 line-height: 1.384615em;
10 font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
18 font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
22 margin: 0.9em 0 0.45em;
30 font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
33 line-height: 1.6875em;
45 margin: 0 0 1.385em 0;
50 vertical-align: baseline;
54 background-color: #f6f6f2;
55 font-family: "Bitstream Vera Sans Mono", Monaco, "Lucida Console", monospace;
58 white-space: pre-wrap;
71 border-collapse: separate;
77 vertical-align: middle;
78 padding: 0.25em 0.5em;
83 padding: 0.25em 0.5em;
92 background-color: white;
97 border-bottom: 1px solid #d8d8d2;
98 border-top: 1px solid #d8d8d2;