From fe0d2dd50d020c07544a751582bda122951e8a74 Mon Sep 17 00:00:00 2001
From: Guido Kanschat <dr.guido.kanschat@gmail.com>
Date: Thu, 7 Apr 2005 20:58:52 +0000
Subject: [PATCH] borders and font

git-svn-id: https://svn.dealii.org/trunk@10416 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/screen.css | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/deal.II/doc/screen.css b/deal.II/doc/screen.css
index 15ae4e6ce7..eb1e40bf0d 100644
--- a/deal.II/doc/screen.css
+++ b/deal.II/doc/screen.css
@@ -3,8 +3,9 @@ body {
 	background-image: none;
 	background-color: white; 
 	color: Black;
-	margin: 0;
+	margin: 10px;
 	padding: 0;
+	font-family: sans-serif;
 }
 
 body.title {
@@ -17,12 +18,14 @@ body.navbar {
 	background-image: url(pictures/deal.II-text.jpg);
 	margin: 2px;
 	padding: 2px;
+	font-family: sans-serif;
+	font-size: 12px;
 }
 
 frameset {
 	background-color: white;
-	border-color: white;
-	border: 0;
+	border-color: black;
+	border: 2px;
 }
 
 a:hover { text-decoration: underline; }
-- 
2.39.5