From e0c1e068fb189fdaab4cf63b4db73de9d33ef312 Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Sat, 14 Nov 2015 00:26:45 +0100
Subject: [PATCH] Default theme: Improve table styling

---
 themes/default/style.css | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/themes/default/style.css b/themes/default/style.css
index b1f3ca9..5fce108 100644
--- a/themes/default/style.css
+++ b/themes/default/style.css
@@ -32,7 +32,7 @@ body {
 }
 
 table {
-	border-collapse: separate;
+	border-collapse: collapse;
 	border-spacing: 0;
 }
 
@@ -137,7 +137,7 @@ h3 {
 	margin-top: 2em;
 }
 
-p {
+p, table {
 	margin-bottom: 1em;
 }
 
@@ -167,6 +167,17 @@ td, td img {
 	vertical-align: top;
 }
 
+td, th {
+	border: solid 1px #999;
+	padding: 0.25em 0.5em;
+}
+
+th {
+	font-weight: bold;
+	text-align: center;
+	background: #eee;
+}
+
 sub {
 	vertical-align: sub;
 	font-size: smaller;