diff options
Diffstat (limited to 'doc/ogg/style.css')
-rw-r--r-- | doc/ogg/style.css | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/ogg/style.css b/doc/ogg/style.css index 332f809..81cf417 100644 --- a/doc/ogg/style.css +++ b/doc/ogg/style.css @@ -1,7 +1,7 @@ -BODY { font-family: helvetica, sans-serif } -TD { font-family: helvetica, sans-serif } -P { font-family: helvetica, sans-serif } -H1 { font-family: helvetica, sans-serif } -H2 { font-family: helvetica, sans-serif } -H4 { font-family: helvetica, sans-serif } +BODY { font-family: Helvetica, sans-serif } +TD { font-family: Helvetica, sans-serif } +P { font-family: Helvetica, sans-serif } +H1 { font-family: Helvetica, sans-serif } +H2 { font-family: Helvetica, sans-serif } +H4 { font-family: Helvetica, sans-serif } P.tiny { font-size: 8pt } |