display: none!important
}
+.wy-nav-content {
+ max-width: 900px!important
+}
+
table {
margin-bottom: 12pt
}
background-color: #eee;
}
-/* Indentation for mkdocstrings.
-div.doc-contents:not(.first) {
- padding-left: 25px;
- border-left: 4px solid rgba(230, 230, 230);
- margin-bottom: 60px;
-}*/
+.doc-object h6 {
+ margin-bottom: 0.8em;
+ font-size: 130%;
+}
+
+.doc-object {
+ margin-bottom: 1.3em;
+}
+.doc-children .doc-contents {
+ margin-left: 3em;