Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Tiny style tweak for the wikiedit list filter toggles. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
b0a38d5fb3437d03242a1642fe07ae70 |
| User & Date: | stephan 2020-08-02 13:23:11.898 |
Context
|
2020-08-03
| ||
| 01:16 | Added a missing db_finalize() in piechart_render() for the empty chart case. check-in: 7913bba610 user: stephan tags: trunk | |
|
2020-08-02
| ||
| 13:23 | Tiny style tweak for the wikiedit list filter toggles. check-in: b0a38d5fb3 user: stephan tags: trunk | |
|
2020-08-01
| ||
| 23:38 | fossil.message() and friends now use local timestamps instead of UTC. Fixed a bug in wikiedit which caused a newly-created page to disappear from the page selection list after it was saved. Other minor cleanups in adjacent code. check-in: 3dc4613d19 user: stephan tags: trunk | |
Changes
Changes to src/style.wikiedit.css.
| ︙ | ︙ | |||
80 81 82 83 84 85 86 87 88 89 90 91 92 93 |
padding: 0.25em;
border-width: 1px /* Ardoise skin sets this to 0 */;
min-width: 6em;
border-style: inset;
}
body.wikiedit .WikiList label {
margin: 0 0.5em;
}
body.wikiedit .WikiList legend {
font-size: 90%;
margin: 0 0 0 0.5em;
}
body.wikiedit .WikiList fieldset > :not(legend) {
/* Stretch page selection list when it's empty or only has short page names */
| > | 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 |
padding: 0.25em;
border-width: 1px /* Ardoise skin sets this to 0 */;
min-width: 6em;
border-style: inset;
}
body.wikiedit .WikiList label {
margin: 0 0.5em;
vertical-align: text-bottom;
}
body.wikiedit .WikiList legend {
font-size: 90%;
margin: 0 0 0 0.5em;
}
body.wikiedit .WikiList fieldset > :not(legend) {
/* Stretch page selection list when it's empty or only has short page names */
|
| ︙ | ︙ |