Commit 9feb034d authored by Administrator's avatar Administrator 💬

Make anchor links even less salient.

parent 0de59f30
......@@ -15,6 +15,7 @@ section#header { z-index: 10; }
/* Little fix for the anchors plugin */
.anchorjs-link {
font-size: 0.8em !important;
color: #80839a;
}
/* Ensures the footer stays on the bottom of the page */
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment