/* 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(45, 182, 241) !important;
  }
  [data-md-color-scheme="slate"] {
    --md-typeset-a-color: rgb(45, 182, 241) !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;
  }