diff --git a/docs/index.html b/docs/index.html index 6af276c85..f0b1fae07 100644 --- a/docs/index.html +++ b/docs/index.html @@ -8,6 +8,7 @@ +
diff --git a/docs/sidebar.css b/docs/sidebar.css new file mode 100644 index 000000000..b1049ea68 --- /dev/null +++ b/docs/sidebar.css @@ -0,0 +1,10 @@ +.sidebar-toggle { + position: absolute; + top: 0; + bottom: auto; + left: 0; +} + +.search { + margin-top: 40px; +}