color: #000000;
}
+div.readme {
+ padding: 8px;
+}
+
a.title:hover {
background-color: #d9d8d1;
}
table {
padding: 8px 4px;
-}
-
-table.project_list {
border-spacing: 0;
}
table.diff_tree {
- border-spacing: 0;
font-family: monospace;
}
font-size: 100%;
font-weight: normal;
margin: 4px 8px;
- position: absolute;
+ float: right;
top: 56px;
right: 12px
}