commit - 059e103889556bddac5c536ce4d601282b0f36fa
commit + d0e8cbceae1c4ebef5a7cfc46acbf0e4137f7e8e
blob - f951c9f9321148da10182665f4c5b4f1617fa815
blob + 82361647db6cc996e63316fcd5da5cfd8965ecdd
--- index.html
+++ index.html
@@ -65,7 +65,7 @@
     <div>
     <details name="example">
     <summary>Remotely managing repositories</summary>
-    <div id="example-1" class="config">
+    <div id="repo-management" class="config">
     <p>
     One of <a href="https://gameoftrees.org/gotsysd.8.html">gotsysd(8)</a>'s
     coolest features is its ability to let you manage your repositories
@@ -123,7 +123,7 @@
     </details>
     <details name="example">
     <summary>Setting up a custom domain</summary>
-    <div id="example-2" class="config">
+    <div id="custom-domain" class="config">
     <p>
     A good way to personalize your repository space is by assigning it a custom
     domain. This can be done as follows:
@@ -161,7 +161,7 @@
     </details>
     <details name="example">
     <summary>Configuring authentication</summary>
-    <div id="example-3" class="config">
+    <div id="authentication" class="config">
     <p>
     The Game of Trees Hub configures all web servers with authentication
     enabled by default. This requires visitors to log in before accessing your
@@ -212,7 +212,7 @@
     </details>
     <details name="example">
     <summary>Configuring the visibility of repositories</summary>
-    <div id="example-4" class="config">
+    <div id="repo-visibility" class="config">
     <p>
     When first configuring a web server, you may notice that no repositories
     are shown in the repository index. This is because web servers on the Game
@@ -261,7 +261,7 @@
     </details>
     <details name="example">
     <summary>Validating a configuration</summary>
-    <div id="example-5" class="config">
+    <div id="config-check" class="config">
     <p>
     Invalid configurations will be automatically rejected by the server when
     sending changes to it. To avoid this, you can validate your configuration