1@media screen {
2  body {
3    font-family:	"Verdana", "Arial", "Helvetica", "Sans", sansserif;
4    background-color:	white;
5    line-height:	140%;
6  }
7  h1 {
8    font-size:		150%;
9    font-weight:	bold;
10    background-color:	yellow;
11    padding:		0.5em;
12  }
13  h2 {
14    font-size:		150%;
15    font-weight:	bold;
16    padding:		0.5em;
17    background-color:	silver;
18  }
19  h3 {
20    font-size:		150%;
21    font-weight:	bold;
22  }
23  h4 {
24    font-size:		125%;
25    font-weight:	bold;
26  }
27  h5 {
28    font-size:		110%;
29    font-weight:	bold;
30  }
31  h6 {
32    font-size:		100%;
33    font-weight:	bold;
34  }
35  kbd {
36    font-family: "Lucida Console", "Courier New", "Courier", "Monospace", monospace;
37  }
38  pre {
39    font-family: "Lucida Console", "Courier New", "Courier", "Monospace", monospace;
40    background-color: #FFFFE8;
41    border-width: 1px;
42    border-style: solid;
43    border-color: black;
44    padding-top: 0.5em;
45    padding-left: 2em;
46    padding-right: 2em;
47    padding-bottom: 0.5em;
48    margin-top: 0.5em;
49    margin-left: 2em;
50    margin-right: 2em;
51    margin-bottom: 0.5em;
52  }
53}
54
55@media print {
56  body {
57    font-family:	"Garamond", "Times New Roman", "Times", serif;
58    font-size: 		12pt;
59  }
60  h1 {
61    font-size:		150%;
62    font-weight:	bold;
63    font-family:	sans-serif;
64  }
65  h2 {
66    font-size:		125%;
67    font-weight:	bold;
68    font-family:	sans-serif;
69  }
70  h3 {
71    font-size:		110%;
72    font-weight:	bold;
73    font-family:	sans-serif;
74  }
75  h4 {
76    font-size:		110%;
77    font-family:	sans-serif;
78  }
79  h5 {
80    font-size:		100%;
81    font-weight:	bold;
82    font-family:	sans-serif;
83  }
84  h6 {
85    font-size:		100%;
86    font-family:	sans-serif;
87  }
88  kbd {
89    font-family:	"Lucida Console", "Courier New", "Courier", monospace;
90    font-size:		12pt;
91  }
92  pre {
93    font-family:	"Lucida Console", "Courier New", "Courier", monospace;
94    font-size:		12pt;
95    border-width: 1px;
96    border-style: solid;
97    border-color: black;
98    padding-top: 0.5em;
99    padding-left: 2em;
100    padding-right: 2em;
101    padding-bottom: 0.5em;
102    margin-top: 0.5em;
103    margin-left: 2em;
104    margin-right: 2em;
105    margin-bottom: 0.5em;
106  }
107}
108
109@page {
110  margin-top:    1.5cm;
111  margin-bottom: 1.5cm;
112}
113@page :left {
114  margin-left:   1.5cm;
115  margin-right:  2.5cm;
116}
117@page :right {
118  margin-left:   2.5cm;
119  margin-right:  1.5cm;
120}
121
122