From 6e4a1120e0303ba4a4d6e92fbad3f61903438c08 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Mon, 25 Aug 2008 18:19:19 +0200 Subject: Install some CSS changes, based on suggestions by Shakthi Kannan . --- local.css | 21 ++++++++------------- 1 file changed, 8 insertions(+), 13 deletions(-) (limited to 'local.css') diff --git a/local.css b/local.css index d38aec12..4b631f8e 100644 --- a/local.css +++ b/local.css @@ -30,6 +30,12 @@ */ +body +{ + font-family: "Bitstream Vera Sans", sans-serif; + margin: 2px; + padding: 1em; +} hr { @@ -45,20 +51,8 @@ hr pre { margin-left: 3em; - background-color: #e5e5e5; -} - -/* Only have these colored blocks be as wide as they need be. */ -pre -{ - float: left; + font-weight: bold; padding: 0.5em; - margin-bottom: 1.5em; - margin-top: 0; -} -h1, h2, h3, h4, h5, h6, table, p, ol, ul, li, div, pre, hr -{ - clear: left; } /* Format these elements table-like with the background of the upper element @@ -81,6 +75,7 @@ h1, h2, h3, h4, h5, h6, table, p, ol, ul, li, div, pre, hr .header { + padding: 0.5em; background-color: #f0f0f0; } -- cgit v1.2.3