From 823c1246ab235ff8a204cf5fdc74370f62e0b603 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Thu, 29 Aug 2024 21:18:28 +0200
Subject: [PATCH] Move inlined CSS into `style.css`

---
 util/gh-pages/index_template.html | 31 ------------------------------
 util/gh-pages/style.css           | 32 ++++++++++++++++++++++++++++++-
 2 files changed, 31 insertions(+), 32 deletions(-)

diff --git a/util/gh-pages/index_template.html b/util/gh-pages/index_template.html
index 1e8d9947857..5045c601ad4 100644
--- a/util/gh-pages/index_template.html
+++ b/util/gh-pages/index_template.html
@@ -223,37 +223,6 @@ Otherwise, have a great day =^.^=
                 class="octo-body"
             ></path>
         </svg>
-        <style>
-            .github-corner svg {
-                fill: var(--fg);
-                color: var(--bg);
-            }
-            .github-corner:hover .octo-arm {
-                animation: octocat-wave 560ms ease-in-out;
-            }
-            @keyframes octocat-wave {
-                0%,
-                100% {
-                    transform: rotate(0);
-                }
-                20%,
-                60% {
-                    transform: rotate(-25deg);
-                }
-                40%,
-                80% {
-                    transform: rotate(10deg);
-                }
-            }
-            @media (max-width: 500px) {
-                .github-corner:hover .octo-arm {
-                    animation: none;
-                }
-                .github-corner .octo-arm {
-                    animation: octocat-wave 560ms ease-in-out;
-                }
-            }
-        </style>
     </a>
 
     <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.6.0/highlight.min.js"></script>
diff --git a/util/gh-pages/style.css b/util/gh-pages/style.css
index d6f0f7eb162..43c62642207 100644
--- a/util/gh-pages/style.css
+++ b/util/gh-pages/style.css
@@ -409,4 +409,34 @@ body {
 
 article.collapsed .lint-docs {
     display: none;
-}
\ No newline at end of file
+}
+
+.github-corner svg {
+    fill: var(--fg);
+    color: var(--bg);
+}
+.github-corner:hover .octo-arm {
+    animation: octocat-wave 560ms ease-in-out;
+}
+@keyframes octocat-wave {
+    0%,
+    100% {
+        transform: rotate(0);
+    }
+    20%,
+    60% {
+        transform: rotate(-25deg);
+    }
+    40%,
+    80% {
+        transform: rotate(10deg);
+    }
+}
+@media (max-width: 500px) {
+    .github-corner:hover .octo-arm {
+        animation: none;
+    }
+    .github-corner .octo-arm {
+        animation: octocat-wave 560ms ease-in-out;
+    }
+}