summaryrefslogtreecommitdiff
path: root/local.css
diff options
context:
space:
mode:
Diffstat (limited to 'local.css')
-rw-r--r--local.css21
1 files changed, 8 insertions, 13 deletions
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;
}