Differences From Artifact [e4e46a989c]:
- File src/style.wikiedit.css — part of check-in [31c5e1fd86] at 2020-07-31 01:44:19 on branch ajax-wiki-editor — Minor layout/style improvements. (user: stephan size: 2348)
To Artifact [4041acfc7c]:
- File src/style.wikiedit.css — part of check-in [8975f7247a] at 2020-07-31 02:02:09 on branch ajax-wiki-editor — Renamed the fileedit/wikiedit stash index keys to avoid breakage if they edit a file/page named 'index' (this unfortunately invalidates any local-storage edits in /fileedit). Minor wiki page selection list style tweak. (user: stephan size: 2514)
| ︙ | |||
69 70 71 72 73 74 75 76 77 78 79 80 81 82 | 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 | + + + + |
}
body.wikiedit .tabs .tab-panel {
/* Needed for wide diffs */
overflow: auto;
}
body.wikiedit .wikiedit-page-list-wrapper fieldset {
padding: 0.25em;
}
body.wikiedit .wikiedit-page-list-wrapper fieldset > :not(legend) {
/* Stretch page selection list when it's empty or only has short page names */
width: 100%;
}
body.wikiedit .wikiedit-page-list-wrapper .fieldset-wrapper {
/* Container for the filter and edit status fieldsets */
display: flex;
flex-direction: row;
flex-wrap: wrap;
align-items: stretch;
|
| ︙ |