aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohn MacFarlane <[email protected]>2021-09-03 09:20:28 -0700
committerJohn MacFarlane <[email protected]>2022-01-15 12:39:19 -0800
commitc40727bfbb25d5d072a3523d9d6fb3abb7197b5a (patch)
treeaefd729d1856ac4d8bcf9f8c45ab6a050945614c /man
parenta1cfe04a26309b9bbbc48ee5f816530746d9bc6c (diff)
Man writer: use custom font V for inline code.
The V font is defined conditionally, so that it renders like CB in output formats that support that, and like B in those that don't (e.g. the terminal). We could just redefine C, but this would affect code blocks, too, and putting them all in boldface looks ugly, I think. Possible drawback: fragments created by pandoc's man writer will presuppose a nonstandard V font. Closes #7506. Supersedes 253467a549dcc22384be96041fd6f886c4a7a935.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions