@import url("https://fonts.googleapis.com/css?family=Open+Sans");

body {
  font-family: "Open Sans", sans-serif;
  color: rgb(51, 51, 51);
  font-weight: 400;
  line-height: 24.75px;
  font-size: 15px;
  max-width: 100%;
  margin-left: 0;
}

.not-implemented {
  border-color: orange;
}

p {
  text-align: justify;
}

li > p {
  margin-top: 0;
  margin-bottom: 0;
}

.external:after {
  font-weight: 900;
  content: "\2009\f35d";
  font-family: "Font Awesome 5 Free";
  display: inline-block;
  font-style: normal;
  font-variant: normal;
  text-rendering: auto;
  line-height: 1;
  font-size: small;
}

.search {
  text-align: center;
}

.search input {
  width: 80%;
  border-radius: 0;
}

.cards {
  display: grid;
  /*grid-template-columns: repeat(3, 1fr);
    */
  grid-template-columns: repeat(auto-fill, 270px);
  grid-auto-rows: auto;
  justify-content: center;
  align-content: center;
  grid-gap: 1rem;
}

.helper {
  display: inline-block;
  height: 100%;
  vertical-align: middle;
}

.card {
  /* Add shadows to create the "card" effect */
  box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2);
  width: 250px;
  height: 300px;
  padding: 10px;
  text-align: center;
}

.card div:nth-child(1) {
  height: 200px;
}

/* On mouse-over, add a deeper shadow */

.card:hover {
  box-shadow: 0 8px 16px 0 rgba(0, 0, 0, 0.2);
}

.card > div {
  padding: 2px 16px;
}

.cards h4,
.cards > a {
  text-decoration: none;
}
.cards a {
  color: var(--nc-tx-1);
}

.card img {
  display: inline-block;
  max-width: 90%;
  max-height: 90%;
  vertical-align: middle;
}

.graph {
  border: 1px gray solid;
}

.foo:hover {
  text-decoration: underline;
}

.foo {
  font-weight: bold;
  color: #4e4e4e;
}

.exists {
  font-weight: bold;
  color: #4e4e4e;
  text-decoration: none;
}

.local {
  font-weight: bold;
  color: #1e6f04;
  text-decoration: none;
}

.exists:hover {
  text-decoration: underline;
  color: black;
}

.missing,
.missing:hover {
  color: darkred;
  text-decoration: none;
  font-weight: normal;
}

.signature {
  font-size: 100%;
  margin-bottom: 2rem;
  display: block;
  border: none;
  background-color: #ffffff;
  font-weight: 600;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  color: #4e4e4e;
  font-weight: 400;
  margin-bottom: 1rem;
  border-bottom: none;
}

h1,
h2 {
  border-bottom: 1px solid var(--nc-bg-3);
}

pre {
  border-radius: 2px;
  padding: 0.6rem;
  border-left: 2px solid #aaa;
}

dt {
  font-weight: 400;
}

header {
  box-shadow: rgba(0, 0, 0, 0.24) 0px 3px 8px;
  padding-top: 0rem;
  padding-bottom: 0rem;
  z-index: 2;
  padding-left: 0;
  position: fixed;
  top: 30px;
  left: 0;
  width: 100%;
  height: 42px;
  backdrop-filter: blur(5px);
  background-color: rgba(255, 255, 255, 0.15);
}

dd::before {
  content: "";
}

brand > a {
  color: #606c76;
}

brand > i {
  padding-right: 0.5rem;
}

nav {
  display: inline-block;
  padding: 10px;
  padding-left: 1rem;
}

dd {
  margin-left: 1rem;
  border-left: solid #ddd;
  padding-left: 1rem;
}

summary > h2 {
  display: inline;
}

strong {
  font-weight: bolder;
  color: black;
}

.sidenav {
  height: 100%;
  /* Full-height: remove this if you want "auto" height */
  width: 300px;
  /* Set the width of the sidebar */
  position: fixed;
  /* Fixed Sidebar (stay in place on scroll) */
  z-index: 1;
  /* Stay on top */
  top: 0;
  /* Stay at the top */
  left: 0;
  background-color: var(--nc-bg-1);
  /* Black */
  border-right: thin solid #ccc;
  overflow-x: hidden;
  /* Disable horizontal scroll */
  padding-top: 3rem;
  /*box-shadow: rgba(0, 0, 0, 0.24) 0px 3px 8px;*/
  transition: width 2s;
  transition-delay: 3s;
}

.sidenav:hover {
  width: 500px;
}

.sidenav ul {
  list-style: none;
  padding-left: 0.2rem;
}

.sidenav a {
  padding: 6px 8px 6px 16px;
  text-decoration: none;
  color: #818181;
  display: block;
}

.sidenav a:hover {
  text-decoration: underline;
}

.sidenav summary a {
  display: inline;
}

.toctree ul {
  padding-left: 30px;
}

.toctree ul li {
  margin-top: 0.1rem;
}

.toctree.True {
  color: black;
}

.sidebar details.toctree[open] {
  background-color: #8080802e;
}

.toctree summary a {
  padding-left: 4px;
}

.toctree ul li a {
  padding: 0;
}

.sidenav img {
  width: 160px;
  padding-left: 20px;
  padding-right: 20px;
  /*border-bottom: solid thin #DDD;*/
  padding-bottom: 0.5rem;
  max-width: 100%;
}

.sidenav i {
  font-size: 100;
  padding-left: 3.5rem;
  padding-right: 3.5rem;
  padding-bottom: 0.5rem;
  border-bottom: solid thin #ddd;
}

::selection {
  /* Set background color for selected text */
  background: #59b4fd;
  color: var(--nc-ac-tx);
}

img {
  max-width: 40%;
}

pre.highlight.execed,
.admonition {
  border-left: 3px solid #0070f3;
}

.admonition {
  padding-left: 1em;
}

.admonition > div {
  background-color: rgba(0, 123, 255, 0.1);
  position: relative;
  margin: 0 -1rem;
  padding: 0.4rem 0.1rem 0.4rem 1.5rem;
  font-weight: bold;
  text-transform: capitalize;
}

.note {
  color: #7d77d2;
}

.warning {
  color: #af7b1a;
}

.error {
  color: #f44336;
}

pre.highlight.compiled {
  border-left: 3px solid #7d77d2;
}

pre.highlight.syntax_error,
pre.highlight.exception_in_exec {
  border-left: 3px solid #f44336;
}

/* Dropdown Button */

/* The container div - needed to position the dropdown content */

.dropdown {
  position: relative;
  display: inline-block;
  margin-left: -4px;
}

nav a {
  color: #606c76;
  text-decoration: none;
}

/* Dropdown Content (Hidden by Default) */

.dropdown-content {
  display: none;
  position: absolute;
  background-color: #f1f1f1;
  min-width: 160px;
  box-shadow: 0px 8px 16px 0px rgba(0, 0, 0, 0.2);
  z-index: 1;
}

/* Links inside the dropdown */

.dropdown-content a {
  color: black;
  padding: 12px 16px;
  text-decoration: none;
  display: block;
}

/* Change color of dropdown links on hover */

.dropdown-content a:hover {
  background-color: #ddd;
}

/* Show the dropdown menu on hover */

.dropdown:hover .dropdown-content {
  display: block;
  max-height: 80vh;
  overflow: scroll;
}

/* Change the background color of the dropdown button when the dropdown content is shown */

.dropdown:hover .dropbtn {
}

.nsl {
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

.head {
  font-family: monospace;
  color: var(--nc-lk-1);
}

details.toctree {
  background: none;
  border: none;
  padding: 0;
  margin: 0;
}

code.verbatim {
  border-color: #005a81;
}
code {
  padding: 2px 4px;
}

blockquote {
  padding: none;
  background: none;
  border-left: none;
}

@media (prefers-color-scheme: dark) {
  body {
    color: rgb(200, 200, 200);
  }

  h1,
  h2,
  h3,
  h4,
  h5,
  h6 {
    color: #c7c7c7;
  }

  .exists {
    color: #c7c7c7;
  }
}