diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2015-03-30 07:05:27 +0200 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2015-03-30 07:05:49 +0200 |
commit | 01af09d100c2109ed1b42d3cf71f3d3e8aa835c6 (patch) | |
tree | fc44177f8b2919e2da445cfea6239d9193cb8d10 /doc | |
parent | 09248e54186c72099178edb523b407147a3127ed (diff) | |
download | gnutls-01af09d100c2109ed1b42d3cf71f3d3e8aa835c6.tar.gz |
doc: increase border spacing in HTML tables
Diffstat (limited to 'doc')
-rw-r--r-- | doc/texinfo.css | 1 |
1 files changed, 1 insertions, 0 deletions
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%; } |