From: Guido Kanschat Date: Thu, 7 Apr 2005 10:14:28 +0000 (+0000) Subject: remove line in header X-Git-Tag: v8.0.0~14139 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8d5cff80a6acfc3553116bda08b585cce79c029f;p=dealii.git remove line in header git-svn-id: https://svn.dealii.org/trunk@10408 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/screen.css b/deal.II/doc/screen.css index adfb626c8d..14838db9be 100644 --- a/deal.II/doc/screen.css +++ b/deal.II/doc/screen.css @@ -51,6 +51,9 @@ h1.head { text-align:center; font-weight: bold; color:black; + padding-top: 0; + padding-bottom: 0; + border-bottom: 0; } h1, h2, h3, h4, h5, h6 { @@ -68,10 +71,10 @@ h1 { } h2 { - font-size: 140%; + font-size: 144%; } -h3 { font-size: 125%; +h3 { font-size: 120%; padding-bottom: 0.17em; border-bottom: 1px dashed #aaaaaa; } h4 { font-size: 110%;