From 9fcae2dd3b633a61912f254b7a0d050cc34de75d Mon Sep 17 00:00:00 2001
From: Paul van Tilburg
Date: Tue, 28 Sep 2010 18:57:37 +0200
Subject: [PATCH] CSS improvements; removed unused parts.
---
src/default.css | 33 +++++++--------------------------
1 file changed, 7 insertions(+), 26 deletions(-)
diff --git a/src/default.css b/src/default.css
index 8e2d32c..7bc4063 100644
--- a/src/default.css
+++ b/src/default.css
@@ -76,18 +76,19 @@ table td {
}
#footer {
+ font-size: 69%;
}
#body {
- width: 36em;
- margin-top: 1em;
- padding-left: 1em;
- text-align: justify;
- line-height: 1.8em;
+ width: 36em;
+ margin-top: 1em;
+ padding-left: 1em;
+ text-align: justify;
+ line-height: 1.8em;
}
#fn0, #fn1, #fn2, #fn3 {
- border-top: thin dotted #594d3c;
+ border-top: thin dotted #594d3c;
}
/* bar, navigation, bibliography and generic alignment classes */
@@ -105,26 +106,6 @@ table td {
.bar a:link { color: #ffffff; background-color: inherit; }
.bar a:visited { color: #ffffff; background-color: inherit; }
-.nav {
- color: inherit;
- background-color: #ffefd6;
- margin: 0.5em -0.5em;
- margin-right: 0em;
- padding: 0em 0.5em;
-}
-
-.bib-item {
- padding-left: 2em;
- font-size: smaller;
- line-height: 1.6em;
-}
-.bib-id {
- margin-left: -2em;
- margin-right: 1em;
- color: inherit;
- background-color: #d6d6ff;
-}
-
.small {
font-size: smaller;
}