Fossil

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

}
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-wrapper {
  /* Container for the filter and edit status fieldsets */
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
  align-items: stretch;

>
>
>
>

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;