From 4e4ad7d68f4b161641259a34761d736e28071cf1 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Thu, 24 Nov 2022 11:30:50 +0200
Subject: adjust style

---
 extras/html/style.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'extras')

diff --git a/extras/html/style.css b/extras/html/style.css
index 981bc7e..8b74a0a 100644
--- a/extras/html/style.css
+++ b/extras/html/style.css
@@ -137,7 +137,8 @@ pre {
   margin-left: 23px; 
   margin-right: 23px; 
   padding: 23px; 
-  border: 2px solid #aaaaaa;
+  border: 4px solid #aaaaaa;
+  border-style: ridge;
 }
 
 span.inlinecode {
-- 
cgit v1.2.3