Set same font size for all platforms and make editor UI a bit smaller (#2171)

* Use single base font size for all platforms

* Change 1.6em values to 1.5em in editor
This commit is contained in:
Matthias Metelka 2022-11-02 12:33:35 +01:00 committed by GitHub
parent d3309658d3
commit 2a510fe230
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
6 changed files with 6 additions and 17 deletions

View File

@ -44,6 +44,7 @@ html {
} }
body { body {
--base-font-size: 13px;
overscroll-behavior: none; overscroll-behavior: none;
&:not(.isMac), &:not(.isMac),
&:not(.isMac) * { &:not(.isMac) * {
@ -65,18 +66,6 @@ samp {
unicode-bidi: normal !important; unicode-bidi: normal !important;
} }
.isWin {
--base-font-size: 12px;
}
.isMac {
--base-font-size: 13px;
}
.isLin {
--base-font-size: 14px;
}
[dir="rtl"] { [dir="rtl"] {
.form-select { .form-select {
/* flip <select>'s arrow */ /* flip <select>'s arrow */

View File

@ -30,7 +30,7 @@ License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
.form-check-input { .form-check-input {
-webkit-appearance: none; -webkit-appearance: none;
height: 1.6em; height: 1.5em;
/* otherwise the switch circle shows slightly off-centered */ /* otherwise the switch circle shows slightly off-centered */
margin-top: 0; margin-top: 0;

View File

@ -79,7 +79,7 @@ License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
return fontFamily; return fontFamily;
} }
const size = 1.6; const size = 1.5;
const wrap = true; const wrap = true;
const fieldStores: Writable<string>[] = []; const fieldStores: Writable<string>[] = [];

View File

@ -27,7 +27,7 @@ License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
const dispatch = createEventDispatcher(); const dispatch = createEventDispatcher();
</script> </script>
<ButtonGroup size={1.6} wrap={false}> <ButtonGroup size={1.5} wrap={false}>
<IconButton <IconButton
tooltip={tr.editingFloatLeft()} tooltip={tr.editingFloatLeft()}
active={floatStyle === "left"} active={floatStyle === "left"}

View File

@ -22,7 +22,7 @@ License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
const dispatch = createEventDispatcher(); const dispatch = createEventDispatcher();
</script> </script>
<ButtonGroup size={1.6}> <ButtonGroup size={1.5}>
<IconButton <IconButton
disabled={shrinkingDisabled} disabled={shrinkingDisabled}
flipX={$direction === "rtl"} flipX={$direction === "rtl"}

View File

@ -17,7 +17,7 @@ License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
const dispatch = createEventDispatcher(); const dispatch = createEventDispatcher();
</script> </script>
<ButtonToolbar size={1.6} wrap={false}> <ButtonToolbar size={1.5} wrap={false}>
<ButtonGroup> <ButtonGroup>
<IconButton <IconButton
tooltip={tr.editingMathjaxInline()} tooltip={tr.editingMathjaxInline()}