diff options
author | 2017-05-14 12:27:28 +0000 | |
---|---|---|
committer | 2017-05-14 12:27:28 +0000 | |
commit | a5384018b2d1cff39ce52d3d3e1b9af546c20b8a (patch) | |
tree | b794c2f7ed626225e71b1852a2ebcf832f0c9ce9 /mandoc_headers.3 | |
parent | 3fec44d9300e7b532fd53472f9ad052381c17bc7 (diff) | |
download | mandoc-a5384018b2d1cff39ce52d3d3e1b9af546c20b8a.tar.gz mandoc-a5384018b2d1cff39ce52d3d3e1b9af546c20b8a.tar.zst mandoc-a5384018b2d1cff39ce52d3d3e1b9af546c20b8a.zip |
Tweak previous: tb@ noticed that some browser/font combinations
have so amazingly wide bold fonts (for the same nominal font size)
that adding 15% to the column width still isn't sufficient to make
text reliably fit, so go for 20%.
Diffstat (limited to 'mandoc_headers.3')
0 files changed, 0 insertions, 0 deletions