From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Mon, 30 Mar 2015 05:05:27 +0000 (+0200)
Subject: doc: increase border spacing in HTML tables
X-Git-Tag: gnutls_3_4_0~72
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=cd2ffb435680ef8da4f838a280af2e12f061456b;p=thirdparty%2Fgnutls.git

doc: increase border spacing in HTML tables
---

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%;
 }