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:27 +0200 |
| commit | cd2ffb435680ef8da4f838a280af2e12f061456b (patch) | |
| tree | daf5aa61688d90eb05aef3fdbd548833586bfd0d /doc/texinfo.css | |
| parent | 3b7559fa1e5da6a9e4a8b7dbc6ef42f30f776068 (diff) | |
| download | gnutls-cd2ffb435680ef8da4f838a280af2e12f061456b.tar.gz | |
doc: increase border spacing in HTML tables
Diffstat (limited to 'doc/texinfo.css')
| -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%; } |