From 42b820e15261ebe2e535a0f40e5512fffec9c1aa Mon Sep 17 00:00:00 2001
From: Mateusz Konieczny <matkoniecz@gmail.com>
Date: Thu, 3 Oct 2024 00:41:27 +0200
Subject: [PATCH] Make text for category titles smaller.

See #1411

This is a workaround, not a proper fix.
---
 app/src/frontend/building/category-link.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/frontend/building/category-link.css b/app/src/frontend/building/category-link.css
index edc693ef..4d6362f4 100644
--- a/app/src/frontend/building/category-link.css
+++ b/app/src/frontend/building/category-link.css
@@ -15,7 +15,7 @@
   .category-title {
     display: block;
     text-align: center;
-    font-size: 0.9em;
+    font-size: 0.8em;
     margin: 0;
     padding: 0.6em;
   }