gitweb: Relabel "head" as "HEAD"

[Gitweb] / gitweb.css

diff --git a/gitweb.css b/gitweb.css
index cb0a9b1970f613263f4706b8f981f7d820728dec84eab7b948bbfe1b1a14557d..27f66a1c51d69db62600c09c958382a0acd693ea8ebf08ac9f4b6901d931763a 100644 (file)
--- a/gitweb.css
+++ b/gitweb.css
@@ -42,6 +42,7 @@ div.page_nav a:visited {
 
 div.page_path {
        padding: 8px;
+       font-weight: bold;
        border: solid #d9d8d1;
        border-width: 0px 0px 1px;
 }
@@ -115,13 +116,23 @@ div.list_head {
        font-style: italic;
 }
 
+div.author_date {
+       padding: 8px;
+       border: solid #d9d8d1;
+       border-width: 0px 0px 1px 0px;
+       font-style: italic;
+}
+
 a.list {
        text-decoration: none;
-       font-weight: bold;
        color: #000000;
 }
 
-table.tags a.list {
+a.subject, a.name {
+       font-weight: bold;
+}
+
+table.tags a.subject {
        font-weight: normal;
 }
 
@@ -269,10 +280,22 @@ td.mode {
        font-family: monospace;
 }
 
+div.diff a.list {
+       text-decoration: none;
+}
+
+div.diff a.list:hover {
+       text-decoration: underline;
+}
+
+div.diff.to_file a.list,
+div.diff.to_file,
 div.diff.add {
        color: #008800;
 }
 
+div.diff.from_file a.list,
+div.diff.from_file,
 div.diff.rem {
        color: #cc0000;
 }
@@ -281,6 +304,10 @@ div.diff.chunk_header {
        color: #990099;
 }
 
+div.diff.incomplete {
+       color: #cccccc;
+}
+
 div.diff_info {
        font-family: monospace;
        color: #000099;