X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=web%2Fgitweb.css;h=a4f5e83529f2c93eed65519dd6b2b763ef994782;hb=076b70b07967fbea52a30de5ffb4f6805a64eb87;hp=08110a6e7ae4ccfa927cd7f4a4b310f035b63d7f;hpb=b2833c2942caeffedf62049788c27140cdd1ea00;p=paraslash.git diff --git a/web/gitweb.css b/web/gitweb.css index 08110a6e..a4f5e835 100644 --- a/web/gitweb.css +++ b/web/gitweb.css @@ -1,21 +1,16 @@ body { font-family: sans-serif; - font-size: small; - /*border: solid #d9d8d1;*/ - border-width: 1px; + background-color: black; + color: #bbbbbb; margin: 0px; - padding: 10px; - background-color: black; - color: #cccccc; - height: 100%; } a { - color: #BA3708; + color: #cc3322; } a:hover { - color: #BA3708; + color: #cc3322; background-color: #ffff00; } @@ -32,7 +27,6 @@ img.logo { } div.page_header { - /*height: 10px;*/ padding: 8px; font-size: 150%; font-weight: bold; @@ -40,7 +34,7 @@ div.page_header { } div.page_header a:visited, a.header { - color: #BA3708; + color: #cc3322; } div.page_header a:hover { @@ -52,7 +46,7 @@ div.page_nav { } div.page_nav a:visited { - color: #BA3708; + color: #cc3322; } div.page_path { @@ -77,6 +71,7 @@ div.page_footer_text { div.page_body { padding: 8px; font-family: monospace; + font-size: 150%; } div.title, a.title { @@ -140,7 +135,7 @@ div.author_date { a.list { text-decoration: none; - color: #BA3708; + color: #cc3322; } a.subject, a.name { @@ -224,7 +219,7 @@ th { tr.light:hover { background-color: yellow; - color: #BA3708; + color: #cc3322; } tr.dark { @@ -237,7 +232,7 @@ tr.dark2 { tr.dark:hover { background-color: yellow; - color: #BA3708; + color: #cc3322; } td { @@ -283,7 +278,7 @@ table.diff_tree span.file_status.mode_chnge { } table.diff_tree span.file_status.copied { - color: #70a070; + color: #70a070; } /* noage: "No commits" */ @@ -322,8 +317,6 @@ table.blame td.age0 { } td.pre, div.pre, div.diff { - font-family: monospace; - font-size: 12px; white-space: pre; } @@ -332,6 +325,7 @@ td.mode { } /* styling of diffs (patchsets): commitdiff and blobdiff views */ + div.diff.header, div.diff.extended_header { white-space: normal;