diff options
Diffstat (limited to 'Doc/html')
| -rw-r--r-- | Doc/html/style.css | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css index 0ae3cb7..afb1855 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -29,8 +29,9 @@ BIG.XHUGE { font-size : xx-large } h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif; font-weight: bold } -h1, h2 { font-size: x-large } -h3, h4 { font-size: large } +h1 { font-size: 180% } +h2 { font-size: 150% } +h3, h4 { font-size: 120% } code, tt { font-family: courier } var { font: italic normal serif } |