diff options
| author | http://oblomov.myopenid.com/ <oblomov@web> | 2010-08-17 07:35:18 +0000 |
|---|---|---|
| committer | Joey Hess <joey@finch.kitenet.net> | 2010-08-17 07:35:18 +0000 |
| commit | 40fcc3868c0521704e465fc22e44f4c71dd85b86 (patch) | |
| tree | f6f768285bd38939e29bf57ecfae4e98f47f3e13 /doc | |
| parent | 949a1edac722577d2df9b99428d8fa1e04d37116 (diff) | |
| download | ikiwiki-40fcc3868c0521704e465fc22e44f4c71dd85b86.tar ikiwiki-40fcc3868c0521704e465fc22e44f4c71dd85b86.tar.gz | |
patch to provide relative font sizes in default CSS
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/bugs/absolute_sizes_in_default_CSS.mdwn | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/doc/bugs/absolute_sizes_in_default_CSS.mdwn b/doc/bugs/absolute_sizes_in_default_CSS.mdwn new file mode 100644 index 000000000..e2d4e611c --- /dev/null +++ b/doc/bugs/absolute_sizes_in_default_CSS.mdwn @@ -0,0 +1,37 @@ +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): + +<pre> +From 01c14db255bbb727d8dd1e72c3f6f2f25f07e757 Mon Sep 17 00:00:00 2001 +From: Giuseppe Bilotta <giuseppe.bilotta@gmail.com> +Date: Tue, 17 Aug 2010 00:48:24 +0200 +Subject: [PATCH] Use relative font-sizes + +--- + doc/style.css | 4 ++-- + 1 files changed, 2 insertions(+), 2 deletions(-) + +diff --git a/doc/style.css b/doc/style.css +index 66d962b..fa4b2a3 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; + } +-- +1.7.2.rc0.231.gc73d +</pre> |