diff --git a/share/tools/web_config/fishconfig.css b/share/tools/web_config/fishconfig.css index 761fcace1..ac56d1d1d 100644 --- a/share/tools/web_config/fishconfig.css +++ b/share/tools/web_config/fishconfig.css @@ -14,11 +14,6 @@ body { border-radius: 8px; } -code { - font-family: "Source Code Pro", "DejaVu Sans Mono", Menlo, "Ubuntu Mono", Consolas, Monaco, - "Lucida Console", monospace, fixed; -} - #parent { width: 100%; min-height: 480px;