diff options
author | Tom Willemse | 2013-10-01 23:40:46 +0200 |
---|---|---|
committer | Tom Willemse | 2013-10-01 23:40:46 +0200 |
commit | c26969eebfd6cdc4814ba1bc5b3fd1e301e192f3 (patch) | |
tree | 99775edc53289e1a82fdbe1d4de9e3c3545dd83e | |
parent | 996cc95d3287015c3c586ccdc7dcaa8fad9ed0ef (diff) | |
download | orgweb-c26969eebfd6cdc4814ba1bc5b3fd1e301e192f3.tar.gz orgweb-c26969eebfd6cdc4814ba1bc5b3fd1e301e192f3.zip |
Texinfo: give lines more room
-rw-r--r-- | site/texinfo.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/site/texinfo.css b/site/texinfo.css index 2cf528f..41e6c07 100644 --- a/site/texinfo.css +++ b/site/texinfo.css @@ -5,4 +5,5 @@ body { .content { width: 700px; margin: 0 auto; + line-height: 160%; } |