|
1
|
textarea {
|
|
2
|
/**
|
|
3
|
* The following font family declarations are available on most computers.
|
|
4
|
*
|
|
5
|
* A user's web browser will look at the comma-separated list and will
|
|
6
|
* attempt to use each font in turn until it finds one that is available
|
|
7
|
* on the user's computer. The final "generic" font (sans-serif, serif or
|
|
8
|
* monospace) hints at what type of font to use if the web browser doesn't
|
|
9
|
* find any of the fonts in the list.
|
|
10
|
*
|
|
11
|
* font-family: "Times New Roman", Times, Georgia, "DejaVu Serif", serif;
|
|
12
|
* font-family: Times, "Times New Roman", Georgia, "DejaVu Serif", serif;
|
|
13
|
* font-family: Georgia, "Times New Roman", "DejaVu Serif", serif;
|
|
14
|
*
|
|
15
|
* font-family: Verdana, Tahoma, "DejaVu Sans", sans-serif;
|
|
16
|
* font-family: Tahoma, Verdana, "DejaVu Sans", sans-serif;
|
|
17
|
* font-family: Helvetica, Arial, "Nimbus Sans L", sans-serif;
|
|
18
|
* font-family: Arial, Helvetica, "Nimbus Sans L", sans-serif;
|
|
19
|
*
|
|
20
|
* font-family: "Courier New", "DejaVu Sans Mono", monospace;
|
|
21
|
*/
|
|
22
|
font-family: Verdana, Tahoma, "DejaVu Sans", sans-serif;
|
|
23
|
}
|
