diff --git a/share/tools/web_config/fishconfig.css b/share/tools/web_config/fishconfig.css index bba26b41b..b4dcd548c 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; }