made border smaller

2023-06-15 22:05:35 +02:00 · 2023-06-15 22:05:35 +02:00 · b00d2ce220
commit b00d2ce220
parent 658dbbb9aa
1 changed files with 1 additions and 1 deletions
--- 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
 }