From 25e02ea07f8210308a281c01b4b31fdae6836e66 Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Sat, 26 Mar 2022 21:57:11 +0100 Subject: [PATCH] fish_config: Use the same body fonts as the doc theme Otherwise this was 100% monospace. But since we have a specific list of fonts that we have checked, let's use the same list instead of just adding "Helvetica" again. --- share/tools/web_config/fishconfig.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/share/tools/web_config/fishconfig.css b/share/tools/web_config/fishconfig.css index e1f76a058..ad1a83aec 100644 --- a/share/tools/web_config/fishconfig.css +++ b/share/tools/web_config/fishconfig.css @@ -1,10 +1,14 @@ body { background: linear-gradient(to bottom, #a7cfdf 0%, #23538a 100%); /* List explained in the doc theme pydoctheme.css */ - font-family: ui-monospace, SFMono-Regular, SF Mono, Menlo, Consolas, "Ubuntu Mono", "Hack", "Noto Sans Mono", Liberation Mono, monospace; + font-family: "Segoe UI", system-ui, sans-serif; color: #222; } +.prompt_demo, .prompt_demo_text, .data_table_row, .colorpicker_text_sample_tight, .colorpicker_text_sample, .history_text, pre, code, tt { + font-family: ui-monospace, SFMono-Regular, SF Mono, Menlo, Consolas, "Ubuntu Mono", "Hack", "Noto Sans Mono", Liberation Mono, monospace; +} + #ancestor { width: 90%; margin-left: auto;