##// END OF EJS Templates
coal: use preformatted text for descriptions (issue2835)...
Matt Mackall -
r14445:61f51f4a default
parent child Browse files
Show More
@@ -1,266 +1,268
1 body {
1 body {
2 margin: 0;
2 margin: 0;
3 padding: 0;
3 padding: 0;
4 background: black url(background.png) repeat-x;
4 background: black url(background.png) repeat-x;
5 font-family: sans-serif;
5 font-family: sans-serif;
6 }
6 }
7
7
8 .container {
8 .container {
9 padding-right: 150px;
9 padding-right: 150px;
10 }
10 }
11
11
12 .main {
12 .main {
13 position: relative;
13 position: relative;
14 background: white;
14 background: white;
15 padding: 2em;
15 padding: 2em;
16 border-right: 15px solid black;
16 border-right: 15px solid black;
17 border-bottom: 15px solid black;
17 border-bottom: 15px solid black;
18 }
18 }
19
19
20 #.main {
20 #.main {
21 width: 98%;
21 width: 98%;
22 }
22 }
23
23
24 .overflow {
24 .overflow {
25 width: 100%;
25 width: 100%;
26 overflow: auto;
26 overflow: auto;
27 }
27 }
28
28
29 .menu {
29 .menu {
30 background: #999;
30 background: #999;
31 padding: 10px;
31 padding: 10px;
32 width: 75px;
32 width: 75px;
33 margin: 0;
33 margin: 0;
34 font-size: 80%;
34 font-size: 80%;
35 text-align: left;
35 text-align: left;
36 position: fixed;
36 position: fixed;
37 top: 27px;
37 top: 27px;
38 left: auto;
38 left: auto;
39 right: 27px;
39 right: 27px;
40 }
40 }
41
41
42 #.menu {
42 #.menu {
43 position: absolute !important;
43 position: absolute !important;
44 top:expression(eval(document.body.scrollTop + 27));
44 top:expression(eval(document.body.scrollTop + 27));
45 }
45 }
46
46
47 .menu ul {
47 .menu ul {
48 list-style: none;
48 list-style: none;
49 padding: 0;
49 padding: 0;
50 margin: 10px 0 0 0;
50 margin: 10px 0 0 0;
51 }
51 }
52
52
53 .menu li {
53 .menu li {
54 margin-bottom: 3px;
54 margin-bottom: 3px;
55 padding: 2px 4px;
55 padding: 2px 4px;
56 background: white;
56 background: white;
57 color: black;
57 color: black;
58 font-weight: normal;
58 font-weight: normal;
59 }
59 }
60
60
61 .menu li.active {
61 .menu li.active {
62 background: black;
62 background: black;
63 color: white;
63 color: white;
64 }
64 }
65
65
66 .menu img {
66 .menu img {
67 width: 75px;
67 width: 75px;
68 height: 90px;
68 height: 90px;
69 border: 0;
69 border: 0;
70 }
70 }
71
71
72 .menu a { color: black; display: block; }
72 .menu a { color: black; display: block; }
73
73
74 .search {
74 .search {
75 position: absolute;
75 position: absolute;
76 top: .7em;
76 top: .7em;
77 right: 2em;
77 right: 2em;
78 }
78 }
79
79
80 form.search div#hint {
80 form.search div#hint {
81 display: none;
81 display: none;
82 position: absolute;
82 position: absolute;
83 top: 40px;
83 top: 40px;
84 right: 0px;
84 right: 0px;
85 width: 190px;
85 width: 190px;
86 padding: 5px;
86 padding: 5px;
87 background: #ffc;
87 background: #ffc;
88 font-size: 70%;
88 font-size: 70%;
89 border: 1px solid yellow;
89 border: 1px solid yellow;
90 -moz-border-radius: 5px; /* this works only in camino/firefox */
90 -moz-border-radius: 5px; /* this works only in camino/firefox */
91 -webkit-border-radius: 5px; /* this is just for Safari */
91 -webkit-border-radius: 5px; /* this is just for Safari */
92 }
92 }
93
93
94 form.search:hover div#hint { display: block; }
94 form.search:hover div#hint { display: block; }
95
95
96 a { text-decoration:none; }
96 a { text-decoration:none; }
97 .age { white-space:nowrap; }
97 .age { white-space:nowrap; }
98 .date { white-space:nowrap; }
98 .date { white-space:nowrap; }
99 .indexlinks { white-space:nowrap; }
99 .indexlinks { white-space:nowrap; }
100 .parity0 { background-color: #f0f0f0; }
100 .parity0 { background-color: #f0f0f0; }
101 .parity1 { background-color: white; }
101 .parity1 { background-color: white; }
102 .plusline { color: green; }
102 .plusline { color: green; }
103 .minusline { color: #dc143c; } /* crimson */
103 .minusline { color: #dc143c; } /* crimson */
104 .atline { color: purple; }
104 .atline { color: purple; }
105
105
106 .navigate {
106 .navigate {
107 text-align: right;
107 text-align: right;
108 font-size: 60%;
108 font-size: 60%;
109 margin: 1em 0;
109 margin: 1em 0;
110 }
110 }
111
111
112 .tag {
112 .tag {
113 color: #999;
113 color: #999;
114 font-size: 70%;
114 font-size: 70%;
115 font-weight: normal;
115 font-weight: normal;
116 margin-left: .5em;
116 margin-left: .5em;
117 vertical-align: baseline;
117 vertical-align: baseline;
118 }
118 }
119
119
120 .branchhead {
120 .branchhead {
121 color: #000;
121 color: #000;
122 font-size: 80%;
122 font-size: 80%;
123 font-weight: normal;
123 font-weight: normal;
124 margin-left: .5em;
124 margin-left: .5em;
125 vertical-align: baseline;
125 vertical-align: baseline;
126 }
126 }
127
127
128 ul#graphnodes .branchhead {
128 ul#graphnodes .branchhead {
129 font-size: 75%;
129 font-size: 75%;
130 }
130 }
131
131
132 .branchname {
132 .branchname {
133 color: #000;
133 color: #000;
134 font-size: 60%;
134 font-size: 60%;
135 font-weight: normal;
135 font-weight: normal;
136 margin-left: .5em;
136 margin-left: .5em;
137 vertical-align: baseline;
137 vertical-align: baseline;
138 }
138 }
139
139
140 h3 .branchname {
140 h3 .branchname {
141 font-size: 80%;
141 font-size: 80%;
142 }
142 }
143
143
144 /* Common */
144 /* Common */
145 pre { margin: 0; }
145 pre { margin: 0; }
146
146
147 h2 { font-size: 120%; border-bottom: 1px solid #999; }
147 h2 { font-size: 120%; border-bottom: 1px solid #999; }
148 h2 a { color: #000; }
148 h2 a { color: #000; }
149 h3 {
149 h3 {
150 margin-top: -.7em;
150 margin-top: -.7em;
151 font-size: 100%;
151 font-size: 100%;
152 }
152 }
153
153
154 /* log and tags tables */
154 /* log and tags tables */
155 .bigtable {
155 .bigtable {
156 border-bottom: 1px solid #999;
156 border-bottom: 1px solid #999;
157 border-collapse: collapse;
157 border-collapse: collapse;
158 font-size: 90%;
158 font-size: 90%;
159 width: 100%;
159 width: 100%;
160 font-weight: normal;
160 font-weight: normal;
161 text-align: left;
161 text-align: left;
162 }
162 }
163
163
164 .bigtable td {
164 .bigtable td {
165 vertical-align: top;
165 vertical-align: top;
166 }
166 }
167
167
168 .bigtable th {
168 .bigtable th {
169 padding: 1px 4px;
169 padding: 1px 4px;
170 border-bottom: 1px solid #999;
170 border-bottom: 1px solid #999;
171 }
171 }
172 .bigtable tr { border: none; }
172 .bigtable tr { border: none; }
173 .bigtable .age { width: 6em; }
173 .bigtable .age { width: 6em; }
174 .bigtable .author { width: 12em; }
174 .bigtable .author { width: 12em; }
175 .bigtable .description { }
175 .bigtable .description { }
176 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
176 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
177 .bigtable .node { width: 5em; font-family: monospace;}
177 .bigtable .node { width: 5em; font-family: monospace;}
178 .bigtable .lineno { width: 2em; text-align: right;}
178 .bigtable .lineno { width: 2em; text-align: right;}
179 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;}
179 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;}
180 .bigtable .permissions { width: 8em; text-align: left;}
180 .bigtable .permissions { width: 8em; text-align: left;}
181 .bigtable .size { width: 5em; text-align: right; }
181 .bigtable .size { width: 5em; text-align: right; }
182 .bigtable .annotate { text-align: right; }
182 .bigtable .annotate { text-align: right; }
183 .bigtable td.annotate { font-size: smaller; }
183 .bigtable td.annotate { font-size: smaller; }
184 .bigtable td.source { font-size: inherit; }
184 .bigtable td.source { font-size: inherit; }
185
185
186 .source, .sourcefirst, .sourcelast {
186 .source, .sourcefirst, .sourcelast {
187 font-family: monospace;
187 font-family: monospace;
188 white-space: pre;
188 white-space: pre;
189 padding: 1px 4px;
189 padding: 1px 4px;
190 font-size: 90%;
190 font-size: 90%;
191 }
191 }
192 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
192 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
193 .sourcelast { border-top: 1px solid #999; }
193 .sourcelast { border-top: 1px solid #999; }
194 .source a { color: #999; font-size: smaller; font-family: monospace;}
194 .source a { color: #999; font-size: smaller; font-family: monospace;}
195 .bottomline { border-bottom: 1px solid #999; }
195 .bottomline { border-bottom: 1px solid #999; }
196
196
197 .fileline { font-family: monospace; }
197 .fileline { font-family: monospace; }
198 .fileline img { border: 0; }
198 .fileline img { border: 0; }
199
199
200 .tagEntry .closed { color: #99f; }
200 .tagEntry .closed { color: #99f; }
201
201
202 /* Changeset entry */
202 /* Changeset entry */
203 #changesetEntry {
203 #changesetEntry {
204 border-collapse: collapse;
204 border-collapse: collapse;
205 font-size: 90%;
205 font-size: 90%;
206 width: 100%;
206 width: 100%;
207 margin-bottom: 1em;
207 margin-bottom: 1em;
208 }
208 }
209
209
210 #changesetEntry th {
210 #changesetEntry th {
211 padding: 1px 4px;
211 padding: 1px 4px;
212 width: 4em;
212 width: 4em;
213 text-align: right;
213 text-align: right;
214 font-weight: normal;
214 font-weight: normal;
215 color: #999;
215 color: #999;
216 margin-right: .5em;
216 margin-right: .5em;
217 vertical-align: top;
217 vertical-align: top;
218 }
218 }
219
219
220 div.description {
220 div.description {
221 border-left: 3px solid #999;
221 border-left: 3px solid #999;
222 margin: 1em 0 1em 0;
222 margin: 1em 0 1em 0;
223 padding: .3em;
223 padding: .3em;
224 white-space: pre;
225 font-family: monospace;
224 }
226 }
225
227
226 /* Graph */
228 /* Graph */
227 div#wrapper {
229 div#wrapper {
228 position: relative;
230 position: relative;
229 border-top: 1px solid black;
231 border-top: 1px solid black;
230 border-bottom: 1px solid black;
232 border-bottom: 1px solid black;
231 margin: 0;
233 margin: 0;
232 padding: 0;
234 padding: 0;
233 }
235 }
234
236
235 canvas {
237 canvas {
236 position: absolute;
238 position: absolute;
237 z-index: 5;
239 z-index: 5;
238 top: -0.7em;
240 top: -0.7em;
239 margin: 0;
241 margin: 0;
240 }
242 }
241
243
242 ul#graphnodes {
244 ul#graphnodes {
243 position: absolute;
245 position: absolute;
244 z-index: 10;
246 z-index: 10;
245 top: -1.0em;
247 top: -1.0em;
246 list-style: none inside none;
248 list-style: none inside none;
247 padding: 0;
249 padding: 0;
248 }
250 }
249
251
250 ul#nodebgs {
252 ul#nodebgs {
251 list-style: none inside none;
253 list-style: none inside none;
252 padding: 0;
254 padding: 0;
253 margin: 0;
255 margin: 0;
254 top: -0.7em;
256 top: -0.7em;
255 }
257 }
256
258
257 ul#graphnodes li, ul#nodebgs li {
259 ul#graphnodes li, ul#nodebgs li {
258 height: 39px;
260 height: 39px;
259 }
261 }
260
262
261 ul#graphnodes li .info {
263 ul#graphnodes li .info {
262 display: block;
264 display: block;
263 font-size: 70%;
265 font-size: 70%;
264 position: relative;
266 position: relative;
265 top: -3px;
267 top: -3px;
266 }
268 }
General Comments 0
You need to be logged in to leave comments. Login now