Further-customizing gitweb.css

diff --git a/theme/css/gitweb.css b/theme/css/gitweb.css
index 6ddefc87f92151b3b8d62d999c9774ef6056d660..647fad21b31a95c261156b00b4d039612a28d412 100644 (file)
--- a/theme/css/gitweb.css
+++ b/theme/css/gitweb.css
@@ -27,15 +27,9 @@
 body {
   font-family: sans-serif;
   font-size: small;
-  border: 1px solid var(--color-01);
   margin: 10px;
   background-color: var(--website-background);
   color: var(--colorlight);
-  margin-top: 10px;
-  margin: 10px;
-  margin-top: 10px;
-  color: var(--colorlight);
-  color: var(--colorlight);
 }
 
 a {
@@ -92,13 +86,12 @@ div.page_nav {
 }
 
 div.page_nav a:visited {
-       color: #0000cc;
 }
 
 div.page_path {
        padding: 8px;
        font-weight: bold;
-       border: solid #d9d8d1;
+       border: solid var(--color-02);
        border-width: 0px 0px 1px;
 }
 
@@ -159,7 +152,6 @@ div.readme {
 }
 
 a.title:hover {
-       background-color: #d9d8d1;
 }
 
 div.title_text {
@@ -301,6 +293,10 @@ table.blame .light:hover {
   color: var(--colorlight);
 }
 
+.light:hover a {
+  color:var(--colorlight);
+}
+
 tr.dark,
 table.blame .dark:hover {
        background-color:var(--color-02);
@@ -602,7 +598,7 @@ td.linenr {
 }
 
 a.linenr {
-       color: #999999;
+       color: var(--color-01);
        text-decoration: none
 }