From 3d7a819f4e1e2d638f9bc482a624b19b02c7619a Mon Sep 17 00:00:00 2001 From: nihilist Date: Sun, 11 May 2025 15:05:04 +0200 Subject: [PATCH] border color --- docs/stylesheets/extra.css | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index e251103..1d23ea5 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -32,12 +32,11 @@ img { white-space: pre-wrap; background-color: #000000; - border-color: #f09018; - margin: 1em 0; } .md-typeset pre { - /*overflow: unset;*/ + border-color: #f09018; + margin: 1em 0; } strong {