From d93e91c625a5c41c183cad1addcf8becc8038174 Mon Sep 17 00:00:00 2001 From: Tom Alexander Date: Mon, 17 Feb 2025 20:54:56 -0500 Subject: [PATCH] Increase the font size for inline source blocks to the normal font size. --- default_environment/stylesheet/main.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/default_environment/stylesheet/main.css b/default_environment/stylesheet/main.css index de07c06..6bcedde 100644 --- a/default_environment/stylesheet/main.css +++ b/default_environment/stylesheet/main.css @@ -160,7 +160,7 @@ body { .inline_source_block { font-family: var(--src-font-family); - font-size: 1rem; + font-size: 1.2rem; } .code,