feat: Anticipate cpitclaudel/alectryon#79

Close #5
pfitaxel · Mar 9, 2022 · 0154bf4 · 0154bf4
1 parent 2512792
commit 0154bf4
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git 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
@@ -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;
+}