From: guido Date: Thu, 7 Apr 2005 20:58:52 +0000 (+0000) Subject: borders and font X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9942e9620195c46e7b6721f1d633abf3fe72a5d3;p=dealii-svn.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; }