[ui] smaller font

This commit is contained in:
Tomáš Mládek 2021-12-11 21:27:41 +01:00
parent 44b64bf246
commit 52dfcc18f8

View file

@ -50,6 +50,7 @@
--foreground-lighter: #{$primary-lighter};
--background: #{$background};
--background-emph: #{color.scale($background, $lightness: -3%)};
font-size: 15px;
b {
color: red;