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 9057a8f5371031074ad81b86c29d639197aeb88f..760028c4cfd041802b45825b1490eed13cb4937b 100644 (file)
--- a/web/gitweb.css
+++ b/web/gitweb.css
@@ -14,6 +14,12 @@ a:hover {
        background-color: #ffff00;
 }
 
+hr {
+       height: 1px;
+       border: none;
+       border-top: 1px solid yellow;
+}
+
 span.cntrl {
        border: dashed #aaaaaa;
        border-width: 1px;
@@ -71,6 +77,7 @@ div.page_footer_text {
 div.page_body {
        padding: 8px;
        font-family: monospace;
+       font-size: 150%;
 }
 
 div.title, a.title {
@@ -316,8 +323,6 @@ table.blame td.age0 {
 }
 
 td.pre, div.pre, div.diff {
-       font-family: monospace;
-       font-size: 12px;
        white-space: pre;
 }
 
@@ -326,6 +331,7 @@ td.mode {
 }
 
 /* styling of diffs (patchsets): commitdiff and blobdiff views */
+
 div.diff.header,
 div.diff.extended_header {
        white-space: normal;