Texinfo: give lines more room

2013-10-01 23:40:46 +02:00 · 2013-10-01 23:40:46 +02:00 · c26969eebf
commit c26969eebf
parent 996cc95d32
1 changed files with 1 additions and 0 deletions
--- a/site/texinfo.css
+++ b/site/texinfo.css
@ -5,4 +5,5 @@ body {
 .content {
    width: 700px;
    margin: 0 auto;
+    line-height: 160%;
 }