Lines Matching refs:font

18     font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
19     font-weight: bold;
25 H2 { font-size: 140% }
26 H3 { font-size: 120% }
27 H5 { font-style: italic  }
28 H6 { font-variant: small-caps }
56     font-family: "courier new", courier, mono;
57     background-color: #eeeeee; font-size: small
62     font-size: 100%;
71     font-family: "Times New Roman", Times, serif
72     font-size: 100%;
81     font-size: 10pt
84 /* H3 CODE { font-size: 120% } */
88     font-family: "Courier New", Courier, mono
91 P CODE { font-size: 80% }
92 T CODE { font-size: 80% }
93 TD CODE { font-size: 80% }
94 TH CODE { font-size: 80% }
95 DL CODE { font-size: 80% }
96 DT CODE { font-size: 80% }
97 UL CODE { font-size: 80% }
98 OL CODE { font-size: 80% }
99 H3 CODE { font-size: 105% }
100 H4 CODE { font-size: 105% }
105     font-family: "Courier New", Courier, mono;
107     font-size: small
112     font-family: "Times New Roman", Times, serif
117     font-family: "Times New Roman", Times, serif
122     font-family: "Times New Roman", Times, serif
150     font-size: 120%
151     font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif; 
152     font-weight: bold; 
159     font-size: 70%;
160     font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif; 
161     font-weight: bold; 
169     font-size: 70%;
170     font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif; 
171     font-weight: bold; 
179 .literal                { color: #790000; /*#444444; font-style: italic*/}
181 .keyword                { color: #0000CC; /*#000080 font-weight: bold;*/ }
182 .library                { font-weight: bold; color: #000000}
183 .documented             { font-weight: bold; color: #000000}
184 A.documented::visited   { font-weight: bold; color: #000000; text-decoration:none}
185 .defined                { font-weight: bold; color: #525252}
186 .comment                { font-style: italic; color: #008000}
189 .string                 { font-style: italic; color: #666666}
190 .copyright              { font-size: small}
193 .quotes                 { color: #666666; font-style: italic; font-weight: bold}
194 .omitted                { color: #007236; font-style: italic }
197 .semantics              { font-weight:bold }
200     font-size: 65%; 
201     font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif
205     font-size: 80%; 
206     font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
207     font-weight: bold;
213     font-weight: bold;
214     font-style: italic
218     font: 80%/120%;