Fossil

Differences From Artifact [058745ced6]:

• File src/style.wikiedit.css — part of check-in [bfd79af058] at 2020-08-01 22:25:41 on branch trunk — Minor CSS tweak for mobile browsers. (user: stephan size: 4115)

To Artifact [1c07629591]:

• File src/style.wikiedit.css — part of check-in [b0a38d5fb3] at 2020-08-02 13:23:11 on branch trunk — Tiny style tweak for the wikiedit list filter toggles. (user: stephan size: 4146)

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