use nav element for menu on homepage. add some css for nav and pre elements, improve h1.

git-svn-id: svn+ssh://svn.debian.org/svn/secure-testing@28803 e39458fd-73e7-0310-bf30-c45bca0a0e42

1 files changed, 25 insertions, 13 deletions

diff --git a/static/style.css b/static/style.css
index de2678f418..8362aace00 100644
--- a/static/style.css
+++ b/static/style.css
@@ -14,9 +14,8 @@ body {
 	color: #333333;
 }
 
-header {
-	border-bottom: 1px solid crimson;
-	margin-bottom: 2em;
+pre {
+	overflow: auto;
 }
 
 a {
@@ -29,6 +28,16 @@ a:hover, a:focus {
 	text-decoration:underline;
 }
 
+header {
+	border-bottom: 1px solid crimson;
+	margin-bottom: 2em;
+}
+
+footer {
+	text-align: center;
+	margin-top: 1em;
+}
+
 ul, ol {
 	padding-left: 0;
 }
@@ -41,7 +50,7 @@ ul li {
 	display: inline-block;
 }
 
-li a {
+ul li a {
 	background: #fafafa;
 	border: 1px solid #ddd;
 	margin: 0 0.5em 0.2em 0;
@@ -50,10 +59,21 @@ li a {
 	display: block;
 }
 
+nav ul li {
+	display: block;
+}
+
+nav ul li a {
+	background: none;
+	border: none;
+	padding: 0;
+}
+
 h1 {
 	font-size : 250%;
 	padding: 0;
 	margin: 0;
+	margin-right: 260px;
 	line-height: 1.4em;
 }
 
@@ -105,11 +125,6 @@ hr {
 	display: none;
 }
 
-footer {
-	text-align: center;
-	margin-top: 1em;
-}
-
 form {
 	text-align: center;
 	padding: 1em 0;
@@ -138,9 +153,6 @@ span.dangerous { color: rgb(191,127,0); }
 @media all and (min-width: 641px) {
 	header {
 		background: url(/tracker/logo.png) top right no-repeat;
-		min-height: 60px;
-	}
-	h1 {
-		line-height: 2.4em;
+		min-height: 80px;
 	}
 }