1 /* XXX Colours. Lots of colours. */
9 border-bottom: solid 1px #ccc;
16 font-weight: bold !important;
17 background-color: #C3D9FF;
29 font-family: monospace;
32 background-color: #ddd;
39 font-family: monospace;
43 font-family: monospace;
50 border-bottom: solid 1px #ddd;
60 text-decoration: underline;
68 background-color: #333;
70 border-left: solid 3px #c33;
78 .diff-head, .diff-index {
79 font-family: monospace;
82 border-top: solid 1px red;
85 border-bottom: solid 1px green;
90 border: solid 1px grey;
95 border-top: dotted 1px #ddd;
103 font-family: monospace;
113 font-family: monospace;
119 * XXX These can be rejigged once gitweb.css has gone away.
126 background-color: #d9d8d1;
136 /* XXX needs more families */
137 font-family: Verdana;
138 letter-spacing: -1px;
140 background-color: #ffaaff;
141 border-color: #ffccff #ff00ee #ff00ee #ffccff;
145 background-color: #aaaaff;
146 border-color: #ccccff #0033cc #0033cc #ccccff;
150 background-color: #ffffaa;
151 border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
154 span.refs span.head {
155 background-color: #aaffaa;
156 border-color: #ccffcc #00cc33 #00cc33 #ccffcc;
159 text-decoration: none;