diff options
| author | Prefetch | 2023-03-03 14:09:23 +0100 |
|---|---|---|
| committer | Prefetch | 2023-03-03 14:09:23 +0100 |
| commit | 7edaa33d1b9aef05fedc82375ca010461c009edf (patch) | |
| tree | c60710ce64920a1cdd8d0cfa387d6f479868928a /source/_includes/preamble.html | |
| parent | 52ff45a7c687d502492be0fa6e54f9b99d501465 (diff) | |
Mobile-friendly header redesign, CSS improvements
Diffstat (limited to 'source/_includes/preamble.html')
| -rw-r--r-- | source/_includes/preamble.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/_includes/preamble.html b/source/_includes/preamble.html index 4d3c92f..8104e6b 100644 --- a/source/_includes/preamble.html +++ b/source/_includes/preamble.html @@ -17,7 +17,7 @@ {% if page.layout == "concept" or page.maths %} <link rel="stylesheet" href="/infra/css/katex.min.css?v=20221008"> {% endif %} -<link rel="stylesheet" href="/infra/css/main.css?v=20221119"> +<link rel="stylesheet" href="/infra/css/main.css?v=20230303"> {% if jekyll.environment == "production" %} <script data-goatcounter="https://prefetch.goatcounter.com/count" async src="/infra/js/count.js?v=20221103"></script> |