diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 030431f..ec9b4f0 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -51,7 +51,9 @@ jobs:
               for item in ${{ matrix.src }}; do
                 cp -av "src/$item" "output/$item"
                 alectryon/alectryon.py --frontend coq+rst "src/$item" \
+                  --html-dialect=html5 \
                   --backend webpage --output-directory output
+                cat src/self_link.css >>output/docutils_basic.css
               done
             endGroup
       - name: Revert permissions
diff --git a/src/self_link.css b/src/self_link.css
new file mode 100644
index 0000000..28b6ed1
--- /dev/null
+++ b/src/self_link.css
@@ -0,0 +1,11 @@
+a.self-link {
+  text-decoration: none;
+}
+
+*:hover > a.self-link:after {
+  text-decoration: none;
+  content: "\1F517"; /* LINK SYMBOL */
+  color: grey;
+  font-size: smaller;
+  margin-left: 0.2em;
+}