Fabian Homborg 25e02ea07f 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.		2022-03-26 21:57:11 +01:00
..
js	controllers.js: remove unused variable cols[]	2021-12-21 13:59:33 -08:00
partials	web config: buttons are <buttons> instead of <span>s.	2022-03-26 13:27:22 -07:00
sample_prompts	Astronaut prompt theme (#8775)	2022-03-15 17:06:00 +01:00
themes	Make default .theme file consistent with uvars	2022-02-03 13:09:52 +01:00
delete.png	Lossless recompress of images with pngcrush+zopfli	2016-06-18 10:03:26 -07:00
favicon.png	Add favicon for web config	2015-07-12 15:06:56 -07:00
fishconfig.css	fish_config: Use the same body fonts as the doc theme	2022-03-26 21:57:11 +01:00
index.html	fish_config: HTML5 doctype	2022-03-26 13:27:22 -07:00
webconfig.py	fish_config: Set colors that aren't set in the theme to empty	2022-03-20 17:04:28 +01:00