gitweb: Navbar refactoring - use git_page_nav to generate navigation bar

[Gitweb] / gitweb.css

diff --git a/gitweb.css b/gitweb.css
index d22769b8aaa80694e45f166bf1eb79abce3fdcfd4a10d252938c3707de1e79e3..4fc00f08a47082d9479b5645314a0b9d3da3d4467f45b4c78aed716e1f64cb77 100644 (file)
--- a/gitweb.css
+++ b/gitweb.css
@@ -1,7 +1,7 @@
 body {
        font-family: sans-serif;
        font-size: 12px;
-       border:solid #d9d8d1;
+       border: solid #d9d8d1;
        border-width: 1px;
        margin: 10px;
        background-color: #ffffff;
@@ -33,7 +33,7 @@ div.page_header a:hover {
 }
 
 div.page_nav {
-       padding:8px;
+       padding: 8px;
 }
 
 div.page_nav a:visited {
@@ -60,6 +60,7 @@ div.page_footer_text {
 
 div.page_body {
        padding: 8px;
+       font-family: monospace;
 }
 
 div.title, a.title {
@@ -79,6 +80,7 @@ div.title_text {
        padding: 6px 0px;
        border: solid #d9d8d1;
        border-width: 0px 0px 1px;
+       font-family: monospace;
 }
 
 div.log_body {
@@ -142,10 +144,15 @@ table {
        padding: 8px 4px;
 }
 
-table.project_list, table.diff_tree {
+table.project_list {
        border-spacing: 0;
 }
 
+table.diff_tree {
+       border-spacing: 0;
+       font-family: monospace;
+}
+
 table.blame {
        border-collapse: collapse;
 }