Add custom CSS to get RTD permalink symbols

sfstoolbox · Dec 19, 2017 · 09176aa · 09176aa
1 parent 1bada2b
commit 09176aa
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/_static/css/math.css b/_static/css/math.css
@@ -0,0 +1,17 @@
+/* Hack to get the same permalink symbol as the RTD theme */
+.eqno .headerlink {
+    display: none;
+    visibility: hidden;
+    font-size: 14px;
+}
+.eqno .headerlink:after {
+    visibility: visible;
+    content: "\f0c1";
+    font-family: FontAwesome;
+    display: inline-block;
+    margin-left: -.9em;
+}
+.eqno:hover .headerlink {
+    display: inline-block;
+    visibility: hidden !important;
+}
diff --git a/conf.py b/conf.py
@@ -65,6 +65,7 @@
 def setup(app):
     """Include custom theme files to sphinx HTML header"""
     app.add_stylesheet('css/abbr.css')
+    app.add_stylesheet('css/math.css')
 
 html_theme = "sphinx_rtd_theme"
 html_static_path = ['_static']