From e880fb6339bb984743d989097bd9356b3d404625 Mon Sep 17 00:00:00 2001
From: Stephan Druskat <sdruskat@users.noreply.github.com>
Date: Thu, 15 Nov 2018 13:32:36 +0100
Subject: [PATCH] Fix #823: Apply default padding to table headers

This PR fixes #823 by applying the default padding for table cells (`padding: 3px 20px;`) to header cells.
---
 src/theme/css/general.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/theme/css/general.css b/src/theme/css/general.css
index 57d5d7a6..b45f90fb 100644
--- a/src/theme/css/general.css
+++ b/src/theme/css/general.css
@@ -92,6 +92,9 @@ table thead td {
     font-weight: 700;
     border: none;
 }
+table thead th {
+    padding: 3px 20px;
+}
 table thead tr {
     border: 1px var(--table-header-bg) solid;
 }