github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2024-11-22 12:04:39 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

css: Use same font for headers

Browse Source 
For some reason classic.css gives these a special font. Let's just
pick the body font again.
This commit is contained in:
Fabian Homborg 2022-01-13 19:25:44 +01:00
parent 7a3594d840
commit e27456df24
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc_src/python_docs_theme/static/pydoctheme.css
View File

@ -125,6 +125,7 @@ div#searchbox {
div.sphinxsidebar h3, div.sphinxsidebar h4 {
margin-top: 1em;
font-family: inherit;
}
div.sphinxsidebarwrapper > h3:first-child {
@ -165,6 +166,7 @@ div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
margin: 0;
border: 0;
padding: 0.3em 0;
font-family: inherit;
}
div.body hr {