delete history

dev/assets/Documenter.css

@@ -0,0 +1,18 @@
+div.wy-menu-vertical ul.current li.toctree-l3 a {
+  font-weight: bold;
+}
+
+a.documenter-source {
+  float: right;
+}
+
+.documenter-methodtable pre {
+    margin-left: 0;
+    margin-right: 0;
+    margin-top: 0;
+    padding: 0;
+}
+
+.documenter-methodtable pre.documenter-inline {
+    display: inline;
+}

dev/assets/custom.css

@@ -0,0 +1,120 @@
+/* Fix /page#foo going to the top of the viewport and being hidden by the navbar */
+html {
+  scroll-padding-top: 50px;
+}
+
+/* Fit the Twitter handle alongside the GitHub one in the top right. */
+
+div.md-header__source {
+  width: revert;
+  max-width: revert;
+}
+
+a.md-source {
+  display: inline-block;
+}
+
+.md-source__repository {
+  max-width: 100%;
+}
+
+/* Emphasise sections of nav on left hand side */
+
+nav.md-nav {
+padding-left: 5px;
+}
+
+nav.md-nav--secondary {
+  border-left: revert !important;
+}
+
+.md-nav__title {
+font-size: 0.9rem;
+}
+
+.md-nav__item--section > .md-nav__link {
+font-size: 0.9rem;
+}
+
+/* Indent autogenerated documentation */
+
+div.doc-contents {
+padding-left: 25px;
+border-left: 4px solid rgba(230, 230, 230);
+}
+
+/* Increase visibility of splitters "---" */
+
+[data-md-color-scheme="default"] .md-typeset hr {
+  border-bottom-color: rgb(0, 0, 0);
+  border-bottom-width: 1pt;
+}
+
+[data-md-color-scheme="slate"] .md-typeset hr {
+  border-bottom-color: rgb(230, 230, 230);
+}
+
+/* More space at the bottom of the page */
+
+.md-main__inner {
+margin-bottom: 1.5rem;
+}
+
+/* Remove prev/next footer buttons */
+
+.md-footer__inner {
+  display: none;
+}
+
+/* Bugfix: remove the superfluous parts generated when doing:
+
+??? Blah
+
+  ::: library.something
+*/
+
+.md-typeset details .mkdocstrings > h4 {
+  display: none;
+}
+
+.md-typeset details .mkdocstrings > h5 {
+  display: none;
+}
+
+/* Change default colours for <a> tags */
+
+[data-md-color-scheme="default"] {
+  --md-typeset-a-color: rgb(0, 189, 164) !important;
+}
+[data-md-color-scheme="slate"] {
+  --md-typeset-a-color: rgb(0, 189, 164) !important;
+}
+
+/* Highlight functions, classes etc. type signatures. Really helps to make clear where
+ one item ends and another begins. */
+
+[data-md-color-scheme="default"] {
+  --doc-heading-color: #DDD;
+  --doc-heading-border-color: #CCC;
+  --doc-heading-color-alt: #F0F0F0;
+}
+[data-md-color-scheme="slate"] {
+  --doc-heading-color: rgb(25,25,33);
+  --doc-heading-border-color: rgb(25,25,33);
+  --doc-heading-color-alt: rgb(33,33,44);
+  --md-code-bg-color: rgb(38,38,50);
+}
+
+h4.doc-heading {
+  /* NOT var(--md-code-bg-color) as that's not visually distinct from other code blocks.*/
+  background-color: var(--doc-heading-color);
+  border: solid var(--doc-heading-border-color);
+  border-width: 1.5pt;
+  border-radius: 2pt;
+  padding: 0pt 5pt 2pt 5pt;
+}
+h5.doc-heading, h6.heading {
+  background-color: var(--doc-heading-color-alt);
+  border-radius: 2pt;
+  padding: 0pt 5pt 2pt 5pt;
+}