From 87fdd8482d1f47c296f980e641d8250ab820c0eb Mon Sep 17 00:00:00 2001 From: Evan Martin Date: Tue, 9 Apr 2013 10:07:17 -0700 Subject: [PATCH] bigger manual --- doc/style.css | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/doc/style.css b/doc/style.css index fc22ec1..4287fc6 100644 --- a/doc/style.css +++ b/doc/style.css @@ -1,9 +1,8 @@ body { margin: 5ex 10ex; - max-width: 40em; - line-height: 1.4; + max-width: 80ex; + line-height: 1.5; font-family: sans-serif; - font-size: 0.8em; } h1, h2, h3 { font-weight: normal; @@ -21,8 +20,12 @@ pre { code { color: #007; } -.chapter { +div.chapter { margin-top: 4em; + border-top: solid 2px black; +} +.section .title { + font-size: 1.3em; } p { margin-top: 0; -- 2.7.4