From 404e197024fb35887b4a464df6da85819ccee903 Mon Sep 17 00:00:00 2001 From: Roman Weiss Date: Sun, 24 Mar 2024 20:49:06 +0100 Subject: [PATCH] Update style.css --- website/style.css | 3 +++ 1 file changed, 3 insertions(+) diff --git a/website/style.css b/website/style.css index 4107ffa..c6479ca 100644 --- a/website/style.css +++ b/website/style.css @@ -16,6 +16,9 @@ code { max-width: 100%; width: 100%; } +.highlight pre { + border: 0; +} span.pl-pds { color: red; } span.pl-s { color: orange; } span.pl-c { color: gray; }