From 9409fff163f6b0724ee986b2acde21e9ae36ff09 Mon Sep 17 00:00:00 2001
From: waikoo <74474701+waikoo@users.noreply.github.com>
Date: Wed, 31 May 2023 15:45:56 +0300
Subject: [PATCH] Correct css filename

---
 docs/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index b3ac238dd..ad94eb2f6 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -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