##// END OF EJS Templates
coal: fix CSS errors as reported by Firefox
Dirkjan Ochtman -
r6571:e6f71ca3 default
parent child Browse files
Show More
@@ -1,156 +1,156 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 .overflow {
20 .overflow {
21 width: 100%;
21 width: 100%;
22 overflow: auto;
22 overflow: auto;
23 }
23 }
24
24
25 .menu {
25 .menu {
26 background: #999;
26 background: #999;
27 padding: 10px;
27 padding: 10px;
28 width: 75px;
28 width: 75px;
29 margin: 0;
29 margin: 0;
30 font-size: 80%;
30 font-size: 80%;
31 text-align: left;
31 text-align: left;
32 position: fixed;
32 position: fixed;
33 top: 27px;
33 top: 27px;
34 left: auto;
34 left: auto;
35 right: 27px;
35 right: 27px;
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 }
42 }
43
43
44 .menu li {
44 .menu li {
45 margin-bottom: 3px;
45 margin-bottom: 3px;
46 padding: 2px 4px;
46 padding: 2px 4px;
47 background: white;
47 background: white;
48 color: black;
48 color: black;
49 font-weight: normal;
49 font-weight: normal;
50 }
50 }
51
51
52 .menu li.active {
52 .menu li.active {
53 background: black;
53 background: black;
54 color: white;
54 color: white;
55 }
55 }
56
56
57 .menu a { color: black; display: block; }
57 .menu a { color: black; display: block; }
58
58
59 .search {
59 .search {
60 position: absolute;
60 position: absolute;
61 top: .7em;
61 top: .7em;
62 right: 2em;
62 right: 2em;
63 }
63 }
64
64
65 a { text-decoration:none; }
65 a { text-decoration:none; }
66 .age { white-space:nowrap; }
66 .age { white-space:nowrap; }
67 .date { white-space:nowrap; }
67 .date { white-space:nowrap; }
68 .indexlinks { white-space:nowrap; }
68 .indexlinks { white-space:nowrap; }
69 .parity0 { background-color: #f5f5f5; }
69 .parity0 { background-color: #f5f5f5; }
70 .parity1 { background-color: white; }
70 .parity1 { background-color: white; }
71 .plusline { color: green; }
71 .plusline { color: green; }
72 .minusline { color: red; }
72 .minusline { color: red; }
73 .atline { color: purple; }
73 .atline { color: purple; }
74
74
75 .navigate {
75 .navigate {
76 text-align: right;
76 text-align: right;
77 font-size: 60%;
77 font-size: 60%;
78 margin: 1em 0 1em 0;
78 margin: 1em 0 1em 0;
79 }
79 }
80
80
81 .tag {
81 .tag {
82 color: #999;
82 color: #999;
83 font-size: 70%;
83 font-size: 70%;
84 font-weight: normal;
84 font-weight: normal;
85 margin-left: .5em;
85 margin-left: .5em;
86 vertical-align: text-baseline;
86 vertical-align: baseline;
87 }
87 }
88
88
89 /* Common */
89 /* Common */
90 pre { margin: 0; }
90 pre { margin: 0; }
91
91
92 h2 { font-size: 120%; border-bottom: 1px solid #999; }
92 h2 { font-size: 120%; border-bottom: 1px solid #999; }
93 h3 {
93 h3 {
94 margin-top: -.7em;
94 margin-top: -.7em;
95 font-size: 100%;
95 font-size: 100%;
96 }
96 }
97
97
98 /* log and tags tables */
98 /* log and tags tables */
99 .bigtable {
99 .bigtable {
100 border-bottom: 1px solid #999;
100 border-bottom: 1px solid #999;
101 border-collapse: collapse;
101 border-collapse: collapse;
102 font-size: 90%;
102 font-size: 90%;
103 width: 100%;
103 width: 100%;
104 font-weight: normal;
104 font-weight: normal;
105 text-align: left;
105 text-align: left;
106 }
106 }
107
107
108 .bigtable td {
108 .bigtable td {
109 padding: 1px 4px 1px 4px;
109 padding: 1px 4px 1px 4px;
110 vertical-align: top;
110 vertical-align: top;
111 }
111 }
112
112
113 .bigtable th {
113 .bigtable th {
114 padding: 1px 4px 1px 4px;
114 padding: 1px 4px 1px 4px;
115 border-bottom: 1px solid #999;
115 border-bottom: 1px solid #999;
116 font-size: smaller;
116 font-size: smaller;
117 }
117 }
118 .bigtable tr { border: none; }
118 .bigtable tr { border: none; }
119 .bigtable .age { width: 6em; }
119 .bigtable .age { width: 6em; }
120 .bigtable .author { width: 10em; }
120 .bigtable .author { width: 10em; }
121 .bigtable .description { }
121 .bigtable .description { }
122 .bigtable .node { width: 5em; font-family: monospace;}
122 .bigtable .node { width: 5em; font-family: monospace;}
123 .bigtable .lineno { width: 2em; text-align: right;}
123 .bigtable .lineno { width: 2em; text-align: right;}
124 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;}
124 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;}
125 .bigtable td.source { font-family: monospace; white-space: pre; }
125 .bigtable td.source { font-family: monospace; white-space: pre; }
126 .bigtable .permissions { width: 8em; text-align: left;}
126 .bigtable .permissions { width: 8em; text-align: left;}
127 .bigtable .size { width: 5em; text-align: right; }
127 .bigtable .size { width: 5em; text-align: right; }
128 .bigtable .annotate { text-align: right; padding-right: }
128 .bigtable .annotate { text-align: right; }
129 .bigtable td.annotate { font-size: smaller; }
129 .bigtable td.annotate { font-size: smaller; }
130
130
131 .fileline { font-family: monospace; }
131 .fileline { font-family: monospace; }
132 .fileline img { border: 0; }
132 .fileline img { border: 0; }
133
133
134 /* Changeset entry */
134 /* Changeset entry */
135 #changesetEntry {
135 #changesetEntry {
136 border-collapse: collapse;
136 border-collapse: collapse;
137 font-size: 90%;
137 font-size: 90%;
138 width: 100%;
138 width: 100%;
139 margin-bottom: 1em;
139 margin-bottom: 1em;
140 }
140 }
141
141
142 #changesetEntry th {
142 #changesetEntry th {
143 padding: 1px 4px 1px 4px;
143 padding: 1px 4px 1px 4px;
144 width: 4em;
144 width: 4em;
145 text-align: right;
145 text-align: right;
146 font-weight: normal;
146 font-weight: normal;
147 color: #999;
147 color: #999;
148 margin-right: .5em;
148 margin-right: .5em;
149 vertical-align: top;
149 vertical-align: top;
150 }
150 }
151
151
152 div.description {
152 div.description {
153 border-left: 3px solid #999;
153 border-left: 3px solid #999;
154 margin: 1em 0 1em 0;
154 margin: 1em 0 1em 0;
155 padding: .3em;
155 padding: .3em;
156 }
156 }
General Comments 0
You need to be logged in to leave comments. Login now