diff --git a/gitweb/gitweb.css b/gitweb/gitweb.css
index ac6a3c774d6c905a78c6da7132e4aab31d7d6923..fffdb13d09a40397745861bb6ec5dcc79c798b0d 100644 (file)
--- a/gitweb/gitweb.css
+++ b/gitweb/gitweb.css
body {
font-family: sans-serif;
font-size: 12px;
- border:solid #d9d8d1;
+ border: solid #d9d8d1;
border-width: 1px;
margin: 10px;
background-color: #ffffff;
}
div.page_nav {
- padding:8px;
+ padding: 8px;
}
div.page_nav a:visited {
div.page_body {
padding: 8px;
+ font-family: monospace;
}
div.title, a.title {
padding: 6px 0px;
border: solid #d9d8d1;
border-width: 0px 0px 1px;
+ font-family: monospace;
}
div.log_body {
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;
}