From abe43946f648f67f28f7376bcc6d399a576baa08 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sof=C3=ADa=20Aritz?= Date: Mon, 15 May 2023 23:16:34 +0200 Subject: [PATCH] Fix font rendering on results --- src/lib/css/app.css | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/lib/css/app.css b/src/lib/css/app.css index ba310d2..5306cc8 100644 --- a/src/lib/css/app.css +++ b/src/lib/css/app.css @@ -25,13 +25,16 @@ a { } pre { - font-family: "JetBrains Mono", monospace; - font-size: .9em; background: rgba(0, 0, 0, 0.1); padding: .5rem; overflow-x: scroll; } +pre span { + font-family: "JetBrains Mono", monospace; + font-size: .9em; +} + button { color: white; padding: 3px;