From b94549446aff57f1ae46ff1051a790418a638631 Mon Sep 17 00:00:00 2001 From: David Kinder Date: Thu, 9 Feb 2023 20:04:51 +0000 Subject: [PATCH] Reduce heading panel text size a little --- inform7/Internal/HTML/windows-platform.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/inform7/Internal/HTML/windows-platform.css b/inform7/Internal/HTML/windows-platform.css index 699f046b9..8466701ff 100755 --- a/inform7/Internal/HTML/windows-platform.css +++ b/inform7/Internal/HTML/windows-platform.css @@ -106,14 +106,14 @@ span.headingpaneltext { color: var(--heading-panel-text-colour); font-family: sans-serif; -webkit-font-smoothing: antialiased; - font-size: 1.333rem; /* 20/12 * 100/125 */ + font-size: 1.2rem; /* 18/12 * 100/125 */ font-weight: bold; } span.headingpaneltextalt { color: #ffffff; font-family: sans-serif; -webkit-font-smoothing: antialiased; - font-size: 1.333rem; /* 20/12 * 100/125 */ + font-size: 1.2rem; /* 18/12 * 100/125 */ font-weight: bold; }