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