From 5e4712b6dc1c4c82432dfb4f7154f3dfa1697622 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Sun, 27 Sep 2020 14:12:28 +0300
Subject: [PATCH] Yet another trivial restyling

---
 doc/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/style.css b/doc/style.css
index 0dec0f2..17f3b71 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -7,5 +7,5 @@ body {
 h1, h2, h3, h4 { text-align: center }
 h1, h2, h3, h4, strong { color: #900090 }
 pre { background-color: #CCCCCC }
-table, th, td { border: 1px solid black }
+table, th, td { border: 1px solid black ; border-collapse: collapse }
 --></style>
-- 
2.50.0