div.page_path {
padding: 8px;
+ font-weight: bold;
border: solid #d9d8d1;
border-width: 0px 0px 1px;
}
color: #000000;
}
-a.subject {
+a.subject, a.name {
font-weight: bold;
}
color: #990099;
}
+div.diff.incomplete {
+ color: #cccccc;
+}
+
div.diff_info {
font-family: monospace;
color: #000099;