150
150
/* ----- changelog page ----- */
157
background-color: #f4f5f8;
158
border: 1px solid #8cacbb;
162
152
/* secret css-jutsu to make hidden margins vanish on a table */
163
153
.log-entries table {
164
154
border-collapse: collapse;
158
.log-entries .revision-header {
159
background-color: #dee7ec;
166
.log-entries .revision-header .revision-number {
171
.log-entries .revision-log {
175
margin-bottom: 1.5em;
178
.log-entries .revision-log table {
182
.log-entries .revision-log th {
185
padding-right: 0.5em;
189
.log-entries .revision-log td.date {
190
/* font-family: monospace; */
193
.log-entries .revision-log td.files {
194
font-family: monospace;
202
background-color: #f4f5f8;
203
border: 1px solid #8cacbb;
168
207
/* left and right cols are fixed size */
169
.log-entries table col.header,col.mark-diff {
208
.xxlog-entries table col.header,col.mark-diff {
173
.log-entries table .header {
212
.xxlog-entries table .header {
174
213
padding-left: 0.5em;
175
214
padding-right: 0.5em;
176
215
padding-top: 2px;
177
216
padding-bottom: 2px;
180
.log-entries table .data {
219
.xxlog-entries table .data {
181
220
padding-left: 0.5em;
182
221
padding-top: 2px;
183
222
padding-bottom: 2px;
186
.log-entries table .top {
225
.xxlog-entries table .top {
187
226
padding-top: 0.3em;
190
.log-entries table .date {
229
.xxlog-entries table .date {
191
230
font-family: monospace;
192
231
padding-bottom: 0.3em;
193
232
border-bottom: solid 1px #8cacbb;
197
236
background-color: #dee7ec;
199
238
font-weight: normal;
200
239
text-align: right;
203
.log-entries .firstline {
242
.xxlog-entries .firstline {
204
243
font-weight: bold;
205
244
text-align: left;
206
245
padding-top: 0.5em;
207
246
padding-bottom: 0.5em;
211
250
font-weight: normal;
212
251
text-align: left;