From d2a41c0da6b568d203563d278a61f9e85ef1a8b8 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 17 Jul 2020 17:26:14 -0400
Subject: Process/highlight fromDyalog.md

---
 docs/style.css | 1 +
 1 file changed, 1 insertion(+)

(limited to 'docs/style.css')

diff --git a/docs/style.css b/docs/style.css
index 36637c57..258f528d 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -12,6 +12,7 @@ h1,h2,h3 {
 table {
   border-spacing: 0;
   border-collapse: collapse;
+  margin: 0.4em;
 }
 table td, th {
   padding: 0.4em 0.9em;
-- 
cgit v1.2.3