2 font-family: Tahoma
, Arial
, sans-serif
;
6 font-family: Arial
, serif
;
18 div.note
, div.warning
, div.tip
{
21 border: solid
1px blue
;
22 background-color: #e0e0e0;
31 div.note
img, div.warning
img, div.tip
img {
33 border: solid
1px blue
;
37 border: solid
1px #444;
38 background-color: #e0e0e0;
45 border: solid
1px #777;
46 background-color: #ddd;
52 div.variablelist
dl dt span.term
{
59 padding-bottom: 0.1in;
60 border-bottom: solid
1px black
;
65 border-top: solid
1px black
;
79 text-decoration: italic
;