Differences From Artifact [079667ccb1]:

• File src/default_css.txt — part of check-in [1a6c5090ce] at 2020-05-05 06:48:52 on branch fileedit-ajaxify — Ajaxified commit. All that's left is cleanup and prettification. (user: stephan size: 18248)

To Artifact [7cfba3ce74]:

• File src/default_css.txt — part of check-in [f54ac21745] at 2020-05-05 08:41:45 on branch fileedit-ajaxify — Numerous minor cleanups. (user: stephan size: 18438)

967
968
969
970
971
972
973

.input-with-label > span {
    margin: 0 0.25em 0 0.25em;
    vertical-align: middle;
}
.hidden {
  display: none;
}

>
>
>
>
>
>
>
>
>
>
>
>
>
>
>

967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988

.input-with-label > span {
    margin: 0 0.25em 0 0.25em;
    vertical-align: middle;
}
.hidden {
  display: none;
}
.font-size-100 {
  font-size: 100%;
}
.font-size-125 {
  font-size: 125%;
}
.font-size-150 {
  font-size: 150%;
}
.font-size-175 {
  font-size: 175%;
}
.font-size-200 {
  font-size: 200%;
}