Smaller font

This commit is contained in:
Andras Schmelczer 2025-01-03 11:16:58 +00:00
parent 594884d054
commit 5178cb6381
No known key found for this signature in database
GPG key ID: FC8F2C3D3D1A718C

View file

@ -7,6 +7,7 @@
background-color: var(--color-base-30);
font-family: var(--font-monospace-default);
font-weight: var(--bold-weight);
font-size: var(--font-ui-small);
&.good {
background-color: rgba(var(--color-green-rgb), 0.35);