Merge pull request #57 from coq/gares-patch-1

ELEVATED EXPERTISE -> ADVANCED LEVEL
coq · Jan 15, 2025 · 86e7e58 · 86e7e58
2 parents 1babad1 + 9da9a63
commit 86e7e58
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/rocqproverorg_frontend/pages/learn.eml b/src/rocqproverorg_frontend/pages/learn.eml
@@ -173,8 +173,8 @@ Learn_layout.single_column_layout
     <%s! Learn_components.lang_manual_banner %>
 
     <h2 id="advanced_section" class="mt-16 mb-8 text-content dark:text-dark-content text-3xl font-regular leading-9 tracking-widest">
-    <span class="text-primary dark:text-dark-primary font-bold">ELEVATED</span>
-        EXPERTISE
+    <span class="text-primary dark:text-dark-primary font-bold">ADVANCED</span>
+        LEVEL
     </h2>
 
     <div class="grid gap-6 mt-6 lg:grid-cols-2">