##// END OF EJS Templates
hgweb: infinite scroll support for coal style
Takumi IINO -
r20257:8a8626f2 default
parent child Browse files
Show More
@@ -1,333 +1,357 b''
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 .diffstat-file {
106 .diffstat-file {
107 white-space: nowrap;
107 white-space: nowrap;
108 font-size: 90%;
108 font-size: 90%;
109 }
109 }
110 .diffstat-total {
110 .diffstat-total {
111 white-space: nowrap;
111 white-space: nowrap;
112 font-size: 90%;
112 font-size: 90%;
113 }
113 }
114 .diffstat-graph {
114 .diffstat-graph {
115 width: 100%;
115 width: 100%;
116 }
116 }
117 .diffstat-add {
117 .diffstat-add {
118 background-color: green;
118 background-color: green;
119 float: left;
119 float: left;
120 }
120 }
121 .diffstat-remove {
121 .diffstat-remove {
122 background-color: red;
122 background-color: red;
123 float: left;
123 float: left;
124 }
124 }
125
125
126 .navigate {
126 .navigate {
127 text-align: right;
127 text-align: right;
128 font-size: 60%;
128 font-size: 60%;
129 margin: 1em 0;
129 margin: 1em 0;
130 }
130 }
131
131
132 .tag {
132 .tag {
133 color: #999;
133 color: #999;
134 font-size: 70%;
134 font-size: 70%;
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 .branchhead {
140 .branchhead {
141 color: #000;
141 color: #000;
142 font-size: 80%;
142 font-size: 80%;
143 font-weight: normal;
143 font-weight: normal;
144 margin-left: .5em;
144 margin-left: .5em;
145 vertical-align: baseline;
145 vertical-align: baseline;
146 }
146 }
147
147
148 ul#graphnodes .branchhead {
148 ul#graphnodes .branchhead {
149 font-size: 75%;
149 font-size: 75%;
150 }
150 }
151
151
152 .branchname {
152 .branchname {
153 color: #000;
153 color: #000;
154 font-size: 60%;
154 font-size: 60%;
155 font-weight: normal;
155 font-weight: normal;
156 margin-left: .5em;
156 margin-left: .5em;
157 vertical-align: baseline;
157 vertical-align: baseline;
158 }
158 }
159
159
160 h3 .branchname {
160 h3 .branchname {
161 font-size: 80%;
161 font-size: 80%;
162 }
162 }
163
163
164 /* Common */
164 /* Common */
165 pre { margin: 0; }
165 pre { margin: 0; }
166
166
167 h2 { font-size: 120%; border-bottom: 1px solid #999; }
167 h2 { font-size: 120%; border-bottom: 1px solid #999; }
168 h2 a { color: #000; }
168 h2 a { color: #000; }
169 h3 {
169 h3 {
170 margin-top: -.7em;
170 margin-top: -.7em;
171 font-size: 100%;
171 font-size: 100%;
172 }
172 }
173
173
174 /* log and tags tables */
174 /* log and tags tables */
175 .bigtable {
175 .bigtable {
176 border-bottom: 1px solid #999;
176 border-bottom: 1px solid #999;
177 border-collapse: collapse;
177 border-collapse: collapse;
178 font-size: 90%;
178 font-size: 90%;
179 width: 100%;
179 width: 100%;
180 font-weight: normal;
180 font-weight: normal;
181 text-align: left;
181 text-align: left;
182 }
182 }
183
183
184 .bigtable td {
184 .bigtable td {
185 vertical-align: top;
185 vertical-align: top;
186 }
186 }
187
187
188 .bigtable th {
188 .bigtable th {
189 padding: 1px 4px;
189 padding: 1px 4px;
190 border-bottom: 1px solid #999;
190 border-bottom: 1px solid #999;
191 }
191 }
192 .bigtable tr { border: none; }
192 .bigtable tr { border: none; }
193 .bigtable .age { width: 6em; }
193 .bigtable .age { width: 6em; }
194 .bigtable .author { width: 15em; }
194 .bigtable .author { width: 15em; }
195 .bigtable .description { }
195 .bigtable .description { }
196 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
196 .bigtable .description .base { font-size: 70%; float: right; line-height: 1.66; }
197 .bigtable .node { width: 5em; font-family: monospace;}
197 .bigtable .node { width: 5em; font-family: monospace;}
198 .bigtable .lineno { width: 2em; text-align: right;}
198 .bigtable .lineno { width: 2em; text-align: right;}
199 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;}
199 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;}
200 .bigtable .permissions { width: 8em; text-align: left;}
200 .bigtable .permissions { width: 8em; text-align: left;}
201 .bigtable .size { width: 5em; text-align: right; }
201 .bigtable .size { width: 5em; text-align: right; }
202 .bigtable .annotate { text-align: right; }
202 .bigtable .annotate { text-align: right; }
203 .bigtable td.annotate { font-size: smaller; }
203 .bigtable td.annotate { font-size: smaller; }
204 .bigtable td.source { font-size: inherit; }
204 .bigtable td.source { font-size: inherit; }
205
205
206 .source, .sourcefirst, .sourcelast {
206 .source, .sourcefirst, .sourcelast {
207 font-family: monospace;
207 font-family: monospace;
208 white-space: pre;
208 white-space: pre;
209 padding: 1px 4px;
209 padding: 1px 4px;
210 font-size: 90%;
210 font-size: 90%;
211 }
211 }
212 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
212 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
213 .sourcelast { border-top: 1px solid #999; }
213 .sourcelast { border-top: 1px solid #999; }
214 .source a { color: #999; font-size: smaller; font-family: monospace;}
214 .source a { color: #999; font-size: smaller; font-family: monospace;}
215 .bottomline { border-bottom: 1px solid #999; }
215 .bottomline { border-bottom: 1px solid #999; }
216
216
217 .fileline { font-family: monospace; }
217 .fileline { font-family: monospace; }
218 .fileline img { border: 0; }
218 .fileline img { border: 0; }
219
219
220 .tagEntry .closed { color: #99f; }
220 .tagEntry .closed { color: #99f; }
221
221
222 /* Changeset entry */
222 /* Changeset entry */
223 #changesetEntry {
223 #changesetEntry {
224 border-collapse: collapse;
224 border-collapse: collapse;
225 font-size: 90%;
225 font-size: 90%;
226 width: 100%;
226 width: 100%;
227 margin-bottom: 1em;
227 margin-bottom: 1em;
228 }
228 }
229
229
230 #changesetEntry th {
230 #changesetEntry th {
231 padding: 1px 4px;
231 padding: 1px 4px;
232 width: 4em;
232 width: 4em;
233 text-align: right;
233 text-align: right;
234 font-weight: normal;
234 font-weight: normal;
235 color: #999;
235 color: #999;
236 margin-right: .5em;
236 margin-right: .5em;
237 vertical-align: top;
237 vertical-align: top;
238 }
238 }
239
239
240 div.description {
240 div.description {
241 border-left: 3px solid #999;
241 border-left: 3px solid #999;
242 margin: 1em 0 1em 0;
242 margin: 1em 0 1em 0;
243 padding: .3em;
243 padding: .3em;
244 white-space: pre;
244 white-space: pre;
245 font-family: monospace;
245 font-family: monospace;
246 }
246 }
247
247
248 /* Graph */
248 /* Graph */
249 div#wrapper {
249 div#wrapper {
250 position: relative;
250 position: relative;
251 border-top: 1px solid black;
251 border-top: 1px solid black;
252 border-bottom: 1px solid black;
252 border-bottom: 1px solid black;
253 margin: 0;
253 margin: 0;
254 padding: 0;
254 padding: 0;
255 }
255 }
256
256
257 canvas {
257 canvas {
258 position: absolute;
258 position: absolute;
259 z-index: 5;
259 z-index: 5;
260 top: -0.7em;
260 top: -0.7em;
261 margin: 0;
261 margin: 0;
262 }
262 }
263
263
264 ul#graphnodes {
264 ul#graphnodes {
265 position: absolute;
265 position: absolute;
266 z-index: 10;
266 z-index: 10;
267 top: -1.0em;
267 top: -1.0em;
268 list-style: none inside none;
268 list-style: none inside none;
269 padding: 0;
269 padding: 0;
270 }
270 }
271
271
272 ul#nodebgs {
272 ul#nodebgs {
273 list-style: none inside none;
273 list-style: none inside none;
274 padding: 0;
274 padding: 0;
275 margin: 0;
275 margin: 0;
276 top: -0.7em;
276 top: -0.7em;
277 }
277 }
278
278
279 ul#graphnodes li, ul#nodebgs li {
279 ul#graphnodes li, ul#nodebgs li {
280 height: 39px;
280 height: 39px;
281 }
281 }
282
282
283 ul#graphnodes li .info {
283 ul#graphnodes li .info {
284 display: block;
284 display: block;
285 font-size: 70%;
285 font-size: 70%;
286 position: relative;
286 position: relative;
287 top: -3px;
287 top: -3px;
288 }
288 }
289
289
290 /* Comparison */
290 /* Comparison */
291 .legend {
291 .legend {
292 padding: 1.5% 0 1.5% 0;
292 padding: 1.5% 0 1.5% 0;
293 }
293 }
294
294
295 .legendinfo {
295 .legendinfo {
296 border: 1px solid #999;
296 border: 1px solid #999;
297 font-size: 80%;
297 font-size: 80%;
298 text-align: center;
298 text-align: center;
299 padding: 0.5%;
299 padding: 0.5%;
300 }
300 }
301
301
302 .equal {
302 .equal {
303 background-color: #ffffff;
303 background-color: #ffffff;
304 }
304 }
305
305
306 .delete {
306 .delete {
307 background-color: #faa;
307 background-color: #faa;
308 color: #333;
308 color: #333;
309 }
309 }
310
310
311 .insert {
311 .insert {
312 background-color: #ffa;
312 background-color: #ffa;
313 }
313 }
314
314
315 .replace {
315 .replace {
316 background-color: #e8e8e8;
316 background-color: #e8e8e8;
317 }
317 }
318
318
319 .header {
319 .header {
320 text-align: center;
320 text-align: center;
321 }
321 }
322
322
323 .block {
323 .block {
324 border-top: 1px solid #999;
324 border-top: 1px solid #999;
325 }
325 }
326
326
327 .breadcrumb {
327 .breadcrumb {
328 color: gray;
328 color: gray;
329 }
329 }
330
330
331 .breadcrumb a {
331 .breadcrumb a {
332 color: blue;
332 color: blue;
333 }
333 }
334
335 .scroll-loading {
336 -webkit-animation: change_color 1s linear 0s infinite alternate;
337 -moz-animation: change_color 1s linear 0s infinite alternate;
338 -o-animation: change_color 1s linear 0s infinite alternate;
339 animation: change_color 1s linear 0s infinite alternate;
340 }
341
342 @-webkit-keyframes change_color {
343 from { background-color: #A0CEFF; } to { }
344 }
345 @-moz-keyframes change_color {
346 from { background-color: #A0CEFF; } to { }
347 }
348 @-o-keyframes change_color {
349 from { background-color: #A0CEFF; } to { }
350 }
351 @keyframes change_color {
352 from { background-color: #A0CEFF; } to { }
353 }
354
355 .scroll-loading-error {
356 background-color: #FFCCCC !important;
357 }
General Comments 0
You need to be logged in to leave comments. Login now