h2 {
- font-size: normal;
+ font-size: 100%;
font-weight: bold;
margin-bottom: 0.1em;
}
background: white;
}
table.list tr:hover {
- background: #eee;
+ background: #eeb;
}
table.list th {
- font-weight: bold;
+ font-weight: normal;
background: #ddd;
border-bottom: solid 1px #aaa;
padding: 0.1em 0.5em 0.1em 0.5em;
div#header {
- background-color: #eee;
+ background-color: #ddd;
padding: 0.25em 0.25em 0.25em 0.5em;
font-size: 150%;
font-weight: bold;
- border: solid 1px #ccc;
+ border: solid 1px #aaa;
vertical-align: middle;
+ margin-bottom: 2em;
}
div#header img#logo {
float: right;
}
+
+div#header input {
+ float: right;
+ margin: 0.25em 1em;
+}
div#header a {
color: black;
}
font-weight: bold;
margin: 1em 2em;
}
+div.ls-blob, div.ls-dir {
+ font-family: monospace;
+}
div.ls-dir a {
font-weight: bold;
}
th.filesize, td.filesize {
text-align: right;
}
+td.filesize {
+ font-family: monospace;
+}
td.filemode {
font-family: monospace;
}
td.blob {
white-space: pre;
- font-family: courier;
- font-size: 100%;
+ font-family: monospace;
background-color: white;
}
-table.log td {
+table.nowrap td {
white-space: nowrap;
}
color: #888;
padding-top: 0.5em;
}
+
+table.diff td {
+ border: solid 1px black;
+ font-family: monospace;
+ white-space: pre;
+}
+
+table.diff td div.hunk {
+ background: #ccc;
+}
+
+table.diff td div.add {
+ color: green;
+}
+
+table.diff td div.del {
+ color: red;
+}
+
.sha1 {
font-family: courier;
font-size: 90%;