Fossil

Check-in [b0a38d5f]
Login

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 | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: b0a38d5fb3437d03242a1642fe07ae70896f31e766abc867f46db9af665f59c5
User & Date: stephan 2020-08-02 13:23:11
Context
2020-08-03
01:16
Added a missing db_finalize() in piechart_render() for the empty chart case. (check-in: 7913bba6 user: stephan tags: trunk)
2020-08-02
13:23
Tiny style tweak for the wikiedit list filter toggles. (check-in: b0a38d5f 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: 3dc4613d user: stephan tags: trunk)
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

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 */