doc: gate list is sticky

Author: Henri-ColibrITD

docs/_static/custom.css

@@ -187,6 +187,10 @@ html[data-theme="dark"] .rst-content .highlighted {
   display: flex;
   flex-wrap: wrap;
   margin-block-end: 1em;
+  position: sticky;
+  top: 57px;
+  z-index: 10000;
+  background-color: #141414;
 }
 
 #native-gates-list > * {
@@ -201,3 +205,7 @@ html[data-theme="dark"] .rst-content .highlighted {
 html[data-theme="dark"] #native-gates-list > * {
   border-color: white;
 }
+
+section > * {
+  scroll-padding-block-start: 60px;
+}