diff options
| author | John MacFarlane <[email protected]> | 2021-09-03 09:20:28 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-01-15 12:39:19 -0800 |
| commit | c40727bfbb25d5d072a3523d9d6fb3abb7197b5a (patch) | |
| tree | aefd729d1856ac4d8bcf9f8c45ab6a050945614c /man | |
| parent | a1cfe04a26309b9bbbc48ee5f816530746d9bc6c (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
