From b00d2ce220cce05c989fdfcd4733af483ecaf1ce Mon Sep 17 00:00:00 2001 From: root Date: Thu, 15 Jun 2023 22:05:35 +0200 Subject: [PATCH] made border smaller --- res/common.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/res/common.css b/res/common.css index c6b3ead..5cc137f 100644 --- a/res/common.css +++ b/res/common.css @@ -271,5 +271,5 @@ ol li, ul li { padding-bottom: 0.9em } font-size: 80%; padding: 8px; /*border-top: #315A94 2px solid*/ - border-top: #f6b26b 2px solid + border-top: #f6b26b 1px solid }