Deploying to gh-pages from master @ aae3b35c0f 🚀

2020-11-10 15:02:44 +00:00
parent 117d4a338d
commit e9694e7218
375 changed files with 44952 additions and 0 deletions
@@ -0,0 +1,30 @@
+.sidebar-toggle {
+  position: absolute;
+  top: 0;
+  bottom: auto;
+  left: 0;
+}
+
+.search {
+  margin-top: 40px;
+}
+
+.markdown-section h2 {
+  padding-top: 0.25rem;
+}
+
+.markdown-section h3 {
+  margin-top: 0.25rem;
+}
+
+.sidebar, .sidebar-nav {
+  line-height: 1.5em !important;
+}
+
+.markdown-section ul ul {
+  margin: 0;
+}
+
+.markdown-section pre {
+  padding: 0;
+}