2 font-family: Tahoma
, Arial
, sans-serif
;
7 font-family: Arial
, serif
;
19 div
.note
, div
.warning
, div
.tip
{
22 border: solid
1px blue
;
23 background-color: #e0e0e0;
27 div
.note img
, div
.warning img
, div
.tip img
{
29 border: solid
1px blue
;
33 border: solid
1px #444;
34 background-color: #e0e0e0;
42 border: solid
1px #777;
43 background-color: #ddd;
49 div
.variablelist dl dt span
.term
{
56 padding-bottom: 0.1in;
57 border-bottom: solid
1px black
;
62 border-top: solid
1px black
;
80 font-family: "Lucida Console", monospace
;
82 p
{ text-align: right
;}