{{ contents }}
diff --git a/cmd/tools/vdoc/resources/doc.css b/cmd/tools/vdoc/resources/doc.css
index 5f7058e328..929a05c247 100644
--- a/cmd/tools/vdoc/resources/doc.css
+++ b/cmd/tools/vdoc/resources/doc.css
@@ -730,3 +730,19 @@ pre {
top: 0;
}
}
+
+#skip-to-content-link {
+ height: 30px;
+ left: 50%;
+ padding: 8px;
+ position: absolute;
+ transform: translateY(-100%);
+ transition: transform 0.3s;
+ background: var(--links);
+ color: var(--warn-text);
+ border-radius: 1px;
+}
+#skip-to-content-link:focus {
+ transform: translateY(0%);
+ z-index: 1000;
+}