From 0154bf4daa4a318781ea1383a7a72ff9440cc743 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Wed, 9 Mar 2022 16:17:47 +0100
Subject: [PATCH] feat: Anticipate cpitclaudel/alectryon#79

Close #5
---
 .github/workflows/deploy.yml |  2 ++
 src/self_link.css            | 11 +++++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 src/self_link.css

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;
+}