diff options
author | Aaron Gyes <me@aaron.gy> | 2016-04-09 22:28:00 -0700 |
---|---|---|
committer | Kurtis Rader <krader@skepticism.us> | 2016-05-18 11:21:14 -0700 |
commit | 00e32a0909e5d0d303936eec8cb697cb67069861 (patch) | |
tree | 198cddf785a4fe575fd051aee157429e54fa90f7 /share/tools | |
parent | 73f2992a2e9ef1c96d45d9e90cc5e1f63a0afc92 (diff) |
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
Diffstat (limited to 'share/tools')
-rw-r--r-- | share/tools/web_config/fishconfig.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/tools/web_config/fishconfig.css b/share/tools/web_config/fishconfig.css index bba26b41..b4dcd548 100644 --- a/share/tools/web_config/fishconfig.css +++ b/share/tools/web_config/fishconfig.css @@ -1,6 +1,6 @@ body { background-color: #292929; - font-family: Courier, "Courier New", monospace; + font-family: "Source Code Pro", "DejaVu Sans Mono", Menlo, "Ubuntu Mono", Consolas, Monaco, "Lucida Console", monospace, fixed; color: white; } |