diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/bugs/absolute_sizes_in_default_CSS.mdwn | 2 | ||||
| -rw-r--r-- | doc/style.css | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/doc/bugs/absolute_sizes_in_default_CSS.mdwn b/doc/bugs/absolute_sizes_in_default_CSS.mdwn index 5cf70d6ee..bb3c0c7a0 100644 --- a/doc/bugs/absolute_sizes_in_default_CSS.mdwn +++ b/doc/bugs/absolute_sizes_in_default_CSS.mdwn @@ -1,5 +1,7 @@ While toying around with some font sizes on my persona ikiwiki I discovered that some font sizes in the default CSS are fixed rather than relative. Here's a git patch that replaces them with relative font sizes (assuming the default 12pt/16px base font size recommended by the W3C): +[[done]] --[[Joey]] + <pre> From 01c14db255bbb727d8dd1e72c3f6f2f25f07e757 Mon Sep 17 00:00:00 2001 From: Giuseppe Bilotta <giuseppe.bilotta@gmail.com> 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; } |