John MacFarlane
c40727bfbb
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 253467a549 .
2022-01-15 12:39:19 -08:00
..
2022-01-15 12:39:19 -08:00
2022-01-11 15:48:41 -08:00
2021-10-24 15:24:59 -07:00
2021-09-28 21:17:53 -07:00
2022-01-10 10:40:49 -08:00
2022-01-04 11:55:59 -08:00
2022-01-02 15:05:09 -08:00
2022-01-02 14:58:55 -08:00
2021-09-28 21:17:53 -07:00
2021-09-21 12:37:42 -07:00
2022-01-11 15:48:41 -08:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2022-01-03 14:19:53 -08:00
2022-01-03 14:19:53 -08:00
2021-11-08 07:30:20 -08:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-11-07 21:08:20 -08:00
2021-09-28 21:17:53 -07:00
2021-07-05 08:57:23 -07:00
2021-07-05 08:57:23 -07:00
2021-07-03 15:34:42 -07:00
2021-07-03 15:34:42 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-12-22 09:45:02 -08:00
2021-12-22 09:45:02 -08:00
2021-12-22 09:45:02 -08:00
2021-12-22 09:45:02 -08:00
2021-09-28 21:17:53 -07:00
2021-09-21 12:37:42 -07:00
2021-12-22 09:45:02 -08:00
2021-08-03 15:34:39 -06:00
2021-09-21 12:37:42 -07:00
2021-12-19 12:10:41 -08:00
2021-09-21 12:37:42 -07:00
2021-09-28 21:17:53 -07:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2021-12-19 12:10:41 -08:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-28 21:17:53 -07:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2022-01-02 22:04:55 -08:00
2021-08-12 10:16:34 -07:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2022-01-08 23:11:08 -08:00
2022-01-10 10:40:49 -08:00
2022-01-10 10:40:49 -08:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2022-01-15 12:39:19 -08:00
2021-09-21 12:37:42 -07:00
2021-12-19 12:10:41 -08:00
2021-11-19 09:05:19 -08:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2021-09-28 21:17:53 -07:00
2021-12-28 16:06:25 -08:00
2021-12-03 17:52:47 -08:00
2022-01-08 23:11:08 -08:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2021-08-04 16:37:20 -06:00
2021-09-21 12:37:42 -07:00
2021-09-21 12:37:42 -07:00
2022-01-02 22:04:55 -08:00
2021-10-16 23:34:53 -07:00