From e6e65a5d32dae3c8e7eff4485cb845ce8a64cf22 Mon Sep 17 00:00:00 2001
From: Ilia Ross <ilia@ross.gdn>
Date: Mon, 23 Dec 2024 22:08:21 +0200
Subject: [PATCH] Fix embedded font size into inline details

---
 gray-theme/unauthenticated/gray-theme.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gray-theme/unauthenticated/gray-theme.css b/gray-theme/unauthenticated/gray-theme.css
index 1e6c862d3..a7d396512 100644
--- a/gray-theme/unauthenticated/gray-theme.css
+++ b/gray-theme/unauthenticated/gray-theme.css
@@ -433,6 +433,11 @@ details.inline {
 details.inline > summary + span {
   margin: 0 0 0 18px;
   display: inline-block;
+  font-size: 98%;
+}
+
+details.inline > summary + span > tt {
+  font-size: 96%;
 }
 
 details.inline > summary {