web: Add header to gitweb and API reference sites.

[paraslash.git] / web / gitweb.css

diff --git a/web/gitweb.css b/web/gitweb.css
index 1a9a235034de1bbf6351461dd9d9f2fb9e921baa..760028c4cfd041802b45825b1490eed13cb4937b 100644 (file)
--- a/web/gitweb.css
+++ b/web/gitweb.css
@@ -1,23 +1,25 @@
 body {
        font-family: sans-serif;
-       font-size: small;
-       border-width: 1px;
-       margin: 0px;
-       padding: 10px;
        background-color: black;
-       color: #cccccc;
-       height: 100%;
+       color: #bbbbbb;
+       margin: 0px;
 }
 
 a {
-       color: #BA3708;
+       color: #cc3322;
 }
 
 a:hover {
-       color: #BA3708;
+       color: #cc3322;
        background-color: #ffff00;
 }
 
+hr {
+       height: 1px;
+       border: none;
+       border-top: 1px solid yellow;
+}
+
 span.cntrl {
        border: dashed #aaaaaa;
        border-width: 1px;
@@ -38,7 +40,7 @@ div.page_header {
 }
 
 div.page_header a:visited, a.header {
-       color: #BA3708;
+       color: #cc3322;
 }
 
 div.page_header a:hover {
@@ -50,7 +52,7 @@ div.page_nav {
 }
 
 div.page_nav a:visited {
-       color: #BA3708;
+       color: #cc3322;
 }
 
 div.page_path {
@@ -75,6 +77,7 @@ div.page_footer_text {
 div.page_body {
        padding: 8px;
        font-family: monospace;
+       font-size: 150%;
 }
 
 div.title, a.title {
@@ -138,7 +141,7 @@ div.author_date {
 
 a.list {
        text-decoration: none;
-       color: #BA3708;
+       color: #cc3322;
 }
 
 a.subject, a.name {
@@ -222,7 +225,7 @@ th {
 
 tr.light:hover {
        background-color: yellow;
-       color: #BA3708;
+       color: #cc3322;
 }
 
 tr.dark {
@@ -235,7 +238,7 @@ tr.dark2 {
 
 tr.dark:hover {
        background-color: yellow;
-       color: #BA3708;
+       color: #cc3322;
 }
 
 td {
@@ -320,8 +323,6 @@ table.blame td.age0 {
 }
 
 td.pre, div.pre, div.diff {
-       font-family: monospace;
-       font-size: 12px;
        white-space: pre;
 }
 
@@ -330,6 +331,7 @@ td.mode {
 }
 
 /* styling of diffs (patchsets): commitdiff and blobdiff views */
+
 div.diff.header,
 div.diff.extended_header {
        white-space: normal;