div.page_path {
padding: 8px;
+ font-weight: bold;
border: solid #d9d8d1;
border-width: 0px 0px 1px;
}
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;
}
color: #990099;
}
+div.diff.incomplete {
+ color: #cccccc;
+}
+
div.diff_info {
font-family: monospace;
color: #000099;