body {
- font-family: monospace;
color: #000;
background-color: #fff;
+ font-family: monospace;
}
h1, h2, h3, h4, h5, h6 {
vertical-align: middle;
}
-a {
- text-decoration: none;
+img {
+ border: 0;
}
-a:hover {
- text-decoration: underline;
+a.d,
+a.h,
+a.i,
+a.line {
+ text-decoration: none;
}
#blob a {
}
#content table td {
- white-space: nowrap;
vertical-align: top;
+ white-space: nowrap;
}
#branches tr:hover td,
hr {
border: 0;
border-top: 1px solid #777;
+ height: 1px;
}
pre {
}
pre a.h {
- color: darkblue;
+ color: #00a;
}
+.A,
+span.i,
pre a.i {
- color: green;
+ color: #070;
}
+.D,
+span.d,
pre a.d {
- color: red;
+ color: #e00;
}
pre a.h:hover,