From afb388e29eec1def4a8e32f266ee4523eb5743d2 Mon Sep 17 00:00:00 2001
From: Adam Dickmeiss <adam@indexdata.dk>
Date: Wed, 17 Jan 2007 10:20:14 +0000
Subject: [PATCH] Tweak font-settings. Use font-size 'small' by default.

---
 www/demo/css/styles.css |   17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/www/demo/css/styles.css b/www/demo/css/styles.css
index c0a21b9..67630f7 100644
--- a/www/demo/css/styles.css
+++ b/www/demo/css/styles.css
@@ -5,7 +5,8 @@ overflow-y: scroll;
 html, body {
 background-color: #5d82b7;
 color: #002863;
-font: 12px verdana, arial, sans-serif;
+font-family: verdana, arial, sans-serif;
+font-size: small;
 }
 
 div.container {
@@ -41,7 +42,7 @@ top: 24px;
 div.topmenu {
 position: absolute;
 right: 0px;
-top: 50px;
+top: 40px;
 text-align: right;
 padding-top: 4px;
 padding-right: 35px;
@@ -50,7 +51,7 @@ height: 25px;
 
 div.topmenu a {
 color: #ffffff;
-font: bold verdana, arial, sans-serif;
+font-weight: bold;
 padding-left: 5px;
 }
 
@@ -72,7 +73,6 @@ input.button {
 background-color: #5d82b7;
 color: #ffffff;
 border: 2px solid #5d82b7;
-font: bold verdana;
 }
 
 
@@ -132,7 +132,16 @@ padding-left: 2em;
 display: block;
 line-height: 1.4em;
 margin-bottom: 8px;
+margin-top: 0px;
 text-indent: -2em;
+/*
+border-style: none;
+border-top-style: solid;
+border-width: 1px;
+border-color: #f0f0f0;
+*/
+}
+
 }
 
 a.record {
-- 
1.7.10.4