Aaron Gyes 00e32a0909 Use fonts found on terminals for the web config. ...

Instead of just using Courier New across the board, have the
browser try several likely available fonts before defaulting
to the system's "monospace".

Thanks @MarkGriffiths
Fixes #2924

2016-05-18 11:21:14 -07:00

..

web_config

Use fonts found on terminals for the web config.

2016-05-18 11:21:14 -07:00

create_manpage_completions.py

docs: fix location of generated_completions (#3010)

2016-05-08 13:51:30 +02:00

deroff.py

Remove trailing whitespaces and change tabs to spaces

2012-11-18 11:23:22 +01:00