From bf68a01577cf6b65315dbd67c7ada12213095a82 Mon Sep 17 00:00:00 2001
From: i-salehi <127154083+i-salehi@users.noreply.github.com>
Date: Fri, 9 Oct 2026 18:08:29 -0700
Subject: [PATCH] Cache refresh on deploy
---
mkdocs.yml | 6 +-----
src/theme/main.html | 5 ++++-
2 files changed, 5 insertions(+), 6 deletions(-)
diff --git a/mkdocs.yml b/mkdocs.yml
index 7d1c639b..1289d51b 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -44,11 +44,6 @@ markdown_extensions:
extra_javascript:
- https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
- https://platform.twitter.com/widgets.js
-extra_css:
-- styles/timeline.css
-- styles/palette.css
-- styles/general.css
-- styles/image-gallery.css
plugins:
- awesome-pages
- search
@@ -207,6 +202,7 @@ nav:
- About Us: about.md
- Contact: contact.md
extra:
+ revision: !ENV [GITHUB_SHA, local]
social:
- icon: simple/x
name: X
diff --git a/src/theme/main.html b/src/theme/main.html
index 2244e53e..ccc97ea7 100644
--- a/src/theme/main.html
+++ b/src/theme/main.html
@@ -5,6 +5,9 @@
{% endblock %}
{% block extrahead %}
+ {% for name in ["timeline", "palette", "general", "image-gallery"] %}
+
+ {% endfor %}
+
{{ super() }}
{% endblock %}