make border line width shorter to avoid border line exceeded window width.
commit8eb1c43b53a7f51cf74cb85529d108b5ce5efff5
authorstardiviner <numbchild@gmail.com>
Thu, 6 Apr 2023 10:02:53 +0000 (6 18:02 +0800)
committerstardiviner <numbchild@gmail.com>
Thu, 6 Apr 2023 10:02:53 +0000 (6 18:02 +0800)
treebe3b04163586a6b6663ec2c37dea1424ffb71d97
parentcda596d9ff4c2aa5035692a97c430f6589eafbb1
make border line width shorter to avoid border line exceeded window width.
inline-docs.el