From: Guido Kanschat <dr.guido.kanschat@gmail.com>
Date: Thu, 7 Apr 2005 20:58:52 +0000 (+0000)
Subject: borders and font
X-Git-Tag: v8.0.0~14131
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fe0d2dd50d020c07544a751582bda122951e8a74;p=dealii.git

borders and font


git-svn-id: https://svn.dealii.org/trunk@10416 0785d39b-7218-0410-832d-ea1e28bc413d
---

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; }