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;
}