From 5178cb63814e6b896d93b8b383f5bc8ccafe8e70 Mon Sep 17 00:00:00 2001 From: Andras Schmelczer Date: Fri, 3 Jan 2025 11:16:58 +0000 Subject: [PATCH] Smaller font --- plugin/src/styles.scss | 1 + 1 file changed, 1 insertion(+) diff --git a/plugin/src/styles.scss b/plugin/src/styles.scss index 6392847..de36c52 100644 --- a/plugin/src/styles.scss +++ b/plugin/src/styles.scss @@ -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);