fix permalink character

2024-08-29 22:23:52 +02:00
parent 3e6be0b0be
commit 157c3cccd1
2 changed files with 6 additions and 1 deletions
--- a/docs/extra.css
+++ b/docs/extra.css
@@ -34,3 +34,8 @@ th {
 .md-footer__inner {
    display: none;
 }
+
+.headerlink {
+  filter: grayscale(100%);
+  font-size: 80%;
+}
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -68,7 +68,7 @@ markdown_extensions:
        alternate_style: true
    - def_list
    - toc:
-        permalink: 
+        permalink: 🔗
 extra_css: [extra.css, styles.css]
 exclude_docs: |
    mk_install_instructions.py