From cd2ffb435680ef8da4f838a280af2e12f061456b Mon Sep 17 00:00:00 2001
From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Mon, 30 Mar 2015 07:05:27 +0200
Subject: doc: increase border spacing in HTML tables

---
 doc/texinfo.css | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/texinfo.css')

diff --git a/doc/texinfo.css b/doc/texinfo.css
index ce3d13090c..ea56b3b33c 100644
--- a/doc/texinfo.css
+++ b/doc/texinfo.css
@@ -52,6 +52,7 @@ table {
   text-align: left;
   margin-left:auto;
   margin-right:auto;
+  border-spacing: 7px;
   width: 50%;
 }
 
-- 
cgit v1.2.1