fix permalink character

diff --git a/docs/extra.css b/docs/extra.css
index 155fa1aa71fcaf91bbbd66792a87110b206569a9..1decc4789e7d72f31ad9d445e72a488e4516c96b 100644 (file)
--- 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%;
+}

diff --git a/mkdocs.yml b/mkdocs.yml
index 3c1ff80bb692d16c50ece187f151f8a239a5141c..16d62c05e6391f2d7a7ab69206c8ed2897418a22 100644 (file)
--- 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