mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-05-13 16:37:27 +00:00
Correct css filename
This commit is contained in:
parent
329e7039da
commit
9409fff163
1 changed files with 1 additions and 1 deletions
|
|
@ -156,7 +156,7 @@ html_theme_options: Dict[str, Any] = {
|
|||
# so a file named "default.css" will overwrite the builtin "default.css".
|
||||
html_static_path = ['_static']
|
||||
html_favicon = html_logo = '../logo/kitty.svg'
|
||||
html_css_files = ['custom.css', 'style.css']
|
||||
html_css_files = ['custom.css', 'timestamps.css']
|
||||
html_js_files = ['custom.js', ('timestamps.js', {'type': 'module'})]
|
||||
|
||||
# Custom sidebar templates, must be a dictionary that maps document names
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue