Update style.css [skip deploy]
@@ -35,12 +35,23 @@ code, .literal, .literal > span.pre {
background-color: 0 !important;
}
+pre {
+ background-color: 0 !important;
+}
+
dt:target, span.highlighted {
background-color: transparent !important;
text-decoration: underline;
text-decoration-color: #F92672;
}
+/* Offset anchors from the top a bit to compensate for the header. */
+.reference.internal {
+ padding-top: 40px;
+ margin-top: -40px;
+ display: inline-block; /* required for webkit browsers */
+}
+
/* syntax highlighting: https://tmtheme-editor.herokuapp.com/#!/editor/theme/Monokai */
/* yes, i hate myself for spending this much time deciphering this. */
.c1, .c2, .c3 { color: #8F8C7E !important; } /* single line comment */
