github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2024-11-23 02:27:28 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
d1d9f147ec
fish-shell/doc_src/python_docs_theme/static
History
Fabian Homborg e27456df24 css: Use same font for headers 
For some reason classic.css gives these a special font. Let's just
pick the body font again.
2022-01-13 19:25:44 +01:00
..
fish.png run fish.png through imageoptim 2021-10-16 14:33:12 -07:00
pydoctheme.css css: Use same font for headers 2022-01-13 19:25:44 +01:00
pygments.css pygments.css: update colors 2021-11-06 14:09:27 -07:00
searchtools.js docs: Handle undefined LINK_SUFFIX 2021-04-25 09:42:02 +02:00