aboutsummaryrefslogtreecommitdiffhomepage
path: root/share/tools
diff options
context:
space:
mode:
authorGravatar Aaron Gyes <me@aaron.gy>2016-04-09 22:28:00 -0700
committerGravatar Kurtis Rader <krader@skepticism.us>2016-05-18 11:21:14 -0700
commit00e32a0909e5d0d303936eec8cb697cb67069861 (patch)
tree198cddf785a4fe575fd051aee157429e54fa90f7 /share/tools
parent73f2992a2e9ef1c96d45d9e90cc5e1f63a0afc92 (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.css2
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;
}