From c35f2b63b57f28089b0411176e97ed50f515c0a8 Mon Sep 17 00:00:00 2001 From: Dominic Ferrando Date: Fri, 25 Apr 2025 21:15:43 -0400 Subject: [PATCH] Change font --- web/static/index.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/web/static/index.css b/web/static/index.css index 42b35ec..e624d8b 100644 --- a/web/static/index.css +++ b/web/static/index.css @@ -31,10 +31,12 @@ /* ---------- Global ---------- */ body { + font-family: Verdana, Tahoma, sans-serif; background: var(--bg-main); padding-left: 4px; padding-right: 4px; margin: 0 4px; + font-size: 10pt; } /* INDEX */ @@ -228,7 +230,6 @@ body { .post-op { margin-bottom: 10px; - font-size: 14px; } .post { @@ -238,7 +239,6 @@ body { background-color: var(--post-bg); border: 1px solid var(--border-light); margin-bottom: 10px; - font-size: 14px; } .post-highlighted {