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 15ae4e6ce7513bc1575990a0fd4e1f76ad54388a..eb1e40bf0db6b740045ee8dc8807a41f58352d4e 100644 (file)
--- 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; }