diff --git a/Doc/html/style.css b/Doc/html/style.css index 0ae3cb7f389..afb1855caa5 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 }