Commit 6b96c3bd authored by Administrator's avatar Administrator 💬

Make the anchors on the headers a little less salient.

parent ef11f41f
Pipeline #31 passed with stage
in 43 seconds
...@@ -12,6 +12,11 @@ section#header { z-index: 10; } ...@@ -12,6 +12,11 @@ section#header { z-index: 10; }
transform: initial !important; transform: initial !important;
} }
/* Little fix for the anchors plugin */
.anchorjs-link {
font-size: 0.8em !important;
}
/* Ensures the footer stays on the bottom of the page */ /* Ensures the footer stays on the bottom of the page */
#page-wrapper { #page-wrapper {
min-height: calc(100vh - 3rem); min-height: calc(100vh - 3rem);
......
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