From ff4dbd09d0c1ef3513b882180cc71650d82f9ec5 Mon Sep 17 00:00:00 2001 From: Mark Sinclair <14054343+mmsinclair@users.noreply.github.com> Date: Fri, 18 Aug 2023 16:42:18 +0100 Subject: [PATCH] Update general.css --- documentation/dev-portal/theme/css/general.css | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/documentation/dev-portal/theme/css/general.css b/documentation/dev-portal/theme/css/general.css index 84dbfa3371..1d77810f5e 100644 --- a/documentation/dev-portal/theme/css/general.css +++ b/documentation/dev-portal/theme/css/general.css @@ -8,7 +8,7 @@ } html { - font-family: "Open Sans", sans-serif; + /* font-family: "Open Sans", sans-serif; */ color: var(--fg); background-color: var(--bg); text-size-adjust: none; @@ -16,13 +16,14 @@ html { } body { + font-family: "Open Sans", sans-serif; margin: 0; font-size: 1.5rem; overflow-x: hidden; } code { - font-family: var(--mono-font) !important; + font-family: var(--mono-font); font-size: 0.9em; }