Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Less vertical space on the default menus and title. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
96938c42a6ecb4e7eb8b8d577481896e |
| User & Date: | drh 2018-08-31 19:21:10 |
Context
|
2018-08-31
| ||
| 20:24 | Fix an unterminated transaction in the /admin_th1 page. (check-in: 447d2732 user: drh tags: trunk) | |
| 19:21 | Less vertical space on the default menus and title. (check-in: 96938c42 user: drh tags: trunk) | |
| 19:03 | In the default skin, adjust the labels in the menu bar depending on screen width. (check-in: 306f8ffd user: drh tags: trunk) | |
Changes
Changes to skins/default/css.txt.
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
...
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
|
.mainmenu a:hover {
color: #000;
border-bottom:2px solid #D26911;
}
.submenu {
font-size: .7em;
margin-top: 10px;
padding: 10px;
border-bottom: 1px solid #ccc;
}
.submenu a, .submenu label {
padding: 10px 11px;
text-decoration:none;
................................................................................
@media screen and (min-width: 600px) {
/* Spacing for desktop */
body {
padding-left: 20px;
padding-right: 20px;
}
.title {
padding-top: 30px;
padding-bottom: 10px;
}
.status {padding-top: 50px;}
.mainmenu a {
padding: 10px 20px;
}
.mainmenu {
padding: 10px;
}
}
@media screen and (max-width: 950px) {
/* Special declarations for narrow desktop or wide mobile */
.wideonly {
display: none;
}
}
|
<
|
|
|
95
96
97
98
99
100
101
102
103
104
105
106
107
108
...
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
|
.mainmenu a:hover {
color: #000;
border-bottom:2px solid #D26911;
}
.submenu {
font-size: .7em;
padding: 10px;
border-bottom: 1px solid #ccc;
}
.submenu a, .submenu label {
padding: 10px 11px;
text-decoration:none;
................................................................................
@media screen and (min-width: 600px) {
/* Spacing for desktop */
body {
padding-left: 20px;
padding-right: 20px;
}
.title {
padding-top: 10px;
padding-bottom: 10px;
}
.status {padding-top: 30px;}
.mainmenu a {
padding: 10px 20px;
}
.mainmenu {
padding: 10px;
}
}
@media screen and (max-width: 950px) {
/* Special declarations for narrow desktop or wide mobile */
.wideonly {
display: none;
}
}
|