Changed Header to elastic height (em) to grow with increased font-size
authorStefan Imhoff <stefan@imhoff.name>
Fri, 20 Feb 2009 15:28:26 +0000 (16:28 +0100)
committerStefan Imhoff <stefan@imhoff.name>
Fri, 20 Feb 2009 15:28:26 +0000 (16:28 +0100)
gitweb.css

index dfe4e5ef612682f7175581aa10fb20b52bbef35e..b3059d6e08c20a591427a9a2f6f0f71399c21cb1 100755 (executable)
@@ -78,8 +78,8 @@ td, th {
 
 .page_header {
     background: #cfcfcf url(img/page_header.png) repeat-x 0 0;
-    height: 40px;
-    line-height: 40px;
+    height: 3.4em;
+    line-height: 3.4em;
     position: relative;
     padding: 0 27px;
     margin-bottom: 30px;
@@ -103,7 +103,7 @@ td, th {
 
 .page_header img.logo {
     float: right;
-    padding: 7px 1.0em;
+    padding: 0.7em 1.0em;
     border: 0;
 }