From a23ff6990cc5113490aa185012fa014727d9baa3 Mon Sep 17 00:00:00 2001
From: Gaspard Jankowiak <gaspard.jankowiak@uni-graz.at>
Date: Fri, 7 Jun 2024 11:17:12 +0200
Subject: [PATCH] css tweak for tables

---
 css/screen.scss | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/css/screen.scss b/css/screen.scss
index 09b423e..1de7b78 100644
--- a/css/screen.scss
+++ b/css/screen.scss
@@ -109,10 +109,12 @@ footer { font-size: 75%; padding-bottom: 175px; }
 
 em { font-style: italic; }
 
-table { width: 100%; }
+table { width: 100%; border-collapse: collapse; }
 th, td { padding: 0.3em; }
 tr { border-bottom: 1px dotted $tr-rule; }
 
+table.headerline th { border-bottom: 1px solid #555; }
+
 table.bordered { border-collapse: collapse; margin: 1em 0; }
 table.bordered tr { border-top: 1px solid #bbb; border-bottom: 1px solid #bbb; }