diff options
Diffstat (limited to 'doc/style.css')
| -rw-r--r-- | doc/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/style.css b/doc/style.css index 66d962bd6..fa4b2a38a 100644 --- a/doc/style.css +++ b/doc/style.css @@ -14,7 +14,7 @@ nav { .header { margin: 0; - font-size: 22px; + font-size: 140%; font-weight: bold; line-height: 1em; display: block; @@ -22,7 +22,7 @@ nav { .inlineheader .author { margin: 0; - font-size: 18px; + font-size: 112%; font-weight: bold; display: block; } |