:root {
  --shadow-size: 5px;
  --border-radius: 3px;
  --margin: 20px;
  --code-font: monospace;
  --font-size: 16px;
  --font-size-small: 12px;
  --font: sans-serif;
  --media-wide: 830px;

  --black: #000;
  --blue: #0c52bb;
  --border: #bbb;
  --comment: #666;
  --dblue: #95b4e1;
  --dgreen: #b2ca96;
  --dred: #ca8766;
  --dyellow: #e1c05e;
  --green: #436023;
  --grey: #ddd;
  --lblue: #eaf2ff;
  --lgreen: #f4fbf4;
  --lgrey: #f7f7f7;
  --lred: #ffe7d9;
  --orange: #a55000;
  --purple: #5c21a5;
  --quote: #555;
  --shadow: #f7f7f7;
  --white: #fff;
  --yellow: #fff3bb;
}

html {
  color: var(--black);
  font-family: var(--font);
  font-size: var(--font-size);
  line-height: 1.5;
}

h1 {
  font-size: 2rem;
}

h2 {
  font-size: 1.5rem;
}

h3 {
  font-size: 1.2rem;
}

h4 {
  font-size: 1rem;
}

h5 {
  font-size: .8rem;
}

h6 {
  font-size: .7rem;
}

h1, h2, h3, h4, h5, h6 {
  margin: 0 0 var(--margin) 0;
}

p {
  margin: 0 0 var(--margin) 0;
}

ul, ol {
  margin: 0 0 var(--margin) var(--margin);
  padding-left: 0;
}

ul li {
  list-style-type: disc;
}

ul li ul {
  margin-bottom: 0;
}

ul li li {
  list-style-type: circle;
}

ol li {
  list-style-type: decimal;
}

blockquote {
  border: 1px solid var(--border);
  border-radius: var(--border-radius);
  box-shadow: var(--shadow-size) var(--shadow-size) var(--shadow);
  color: var(--quote);
  font-style: italic;
  margin: 0 0 var(--margin) 0;
  padding: 10px;
}

blockquote > *:last-child {
  margin-bottom: 0;
}

pre {
  background: var(--white);
  border-radius: var(--border-radius);
  border: 1px solid var(--border);
  box-shadow: var(--shadow-size) var(--shadow-size) var(--shadow);
  font-family: var(--code-font);
  font-size: var(--font-size-small);
  line-height: 1.3;
  margin: 0 0 var(--margin) 0;
  overflow-x: scroll;
  padding: 10px;
  white-space: pre;
}

p code, li code, td code, h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
  background: var(--lgrey);
  border-radius: var(--border-radius);
  border: 1px solid var(--grey);
  box-decoration-break: clone;
  font-family: var(--code-font);
  font-size: .8rem;
  padding: 1px 5px;
  margin: 0 2px;
}

p code, li code, td code {
  font-size: .8rem;
}

a {
  color: var(--blue);
  font-weight: 500;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

table {
  border-collapse: separate;
  border-radius: var(--border-radius);
  border-spacing: 0;
  border: 1px solid var(--border);
  box-shadow: var(--shadow-size) var(--shadow-size) var(--shadow);
  font-size: 0.8rem;
  margin-bottom: var(--margin);
  width: 100%;
}

table th,
table td {
  border-bottom: 1px solid var(--border);
  padding: 5px;
  text-align: left;
}

table th {
  background: var(--lgrey);
}

table tr:last-child td {
  border-bottom: 0;
}

div.highlight {
  position: relative;
}

div.highlight .copy {
  background: var(--white);
  display: none;
  border-radius: var(--border-radius);
  border: 1px solid var(--border);
  cursor: pointer;
  font-size: var(--font-size-small);
  padding: 5px;
  position: absolute;
  right: 5px;
  top: 5px;
}

div.highlight .copy .copied-text {
  display: none;
}

div.highlight .copy.copied .copied-text {
  display: inline;
}

div.highlight .copy.copied .copy-text {
  display: none;
}

div.highlight:hover .copy {
  display: block;
}

.highlight .k {
  font-weight: bold;
}

.highlight .s, .highlight .s1, .highlight .s2 {
  color: var(--green);
}

.highlight .ss {
  color: var(--orange);
}

.highlight .mf, .highlight .mh, .highlight .mi, .highlight .mo, .highlight .il {
  color: var(--blue);
}

.highlight .c, .highlight .cp, .highlight .cm, .highlight .cs, .highlight .c1 {
  color: var(--comment);
}

.highlight .vi {
  color: var(--purple);
}

.grid {
  display: grid;
  grid-gap: 0 var(--margin);
  margin: 0 auto;
  padding: 0 var(--margin);
  max-width: 1100px;
}

.grid > * {
  min-width: 0;
}

#nightly-notice {
  background: var(--yellow);
  border-bottom: 1px solid var(--grey);
  font-size: var(--font-size-small);
  padding: 3px 0;
  text-align: center;
}

#nightly-notice p {
  margin-bottom: 0;
}

#top-bar {
  border-bottom: 1px solid var(--grey);
}

#top-bar .grid {
  align-items: center;
}

#top-bar .logo {
  font-size: 1.2rem;
  font-weight: bold;
  grid-column: 1;
}

#top-bar .logo img {
  margin-right: 5px;
  vertical-align: top;
}

#top-bar nav {
  grid-column: 2;
  text-align: right;
}

#top-bar .expand-menus {
  display: none;
  grid-column: 2;
  text-align: right;
}

#top-bar .expand-menus a {
  color: var(--text);
  cursor: pointer;
  display: inline-block;
  margin-right: var(--margin);
  padding: var(--margin) 0;
  text-decoration: none;
}

#top-bar .expand-menus a:last-child {
  margin-right: 0;
}

#top-bar nav ul {
  margin: var(--margin) 0;
}

#top-bar nav li {
  display: inline-block;
  margin: 0 var(--margin) 0 0;
}

#top-bar nav li:last-child {
  margin-right: 0;
}

#top-bar nav a {
  color: var(--black);
  font-weight: normal;
  text-decoration: none;
}

#top-bar nav a:hover {
  color: var(--blue);
}

#top-bar nav a.current {
  color: var(--blue);
}

.page {
  margin-top: var(--margin);
}

.page .grid {
  justify-content: start;
}

.page aside,
.page .content {
  grid-row: 1;
}

.page .left.visible {
  display: block;
}

.page .right {
  display: none;
}

.page aside {
  align-self: start;
  overflow-y: scroll;
  padding-right: 10px;
  width: 180px;
}

.page aside h1 {
  margin-bottom: 5px;
}

.page aside a {
  color: var(--black);
  font-weight: normal;
}

.page aside a:hover {
  color: var(--blue);
}

.page aside .current {
  color: var(--blue);
}

.page aside h1 {
  font-size: 1rem;
}

.page aside ul {
  margin-left: 0;
  font-size: 0.9rem;
}

.page aside li {
  list-style: none;
  margin-bottom: 5px;
}

.page aside li ul, .page aside li ol {
  margin-top: 5px;
}

.page aside li ul, .page aside li ol {
  margin-left: calc(var(--margin) / 2);
}

.missing-page {
  text-align: center;
}

.missing-page img {
  margin-top: 20px;
}

.admonition {
  border: 1px solid var(--border);
  border-radius: var(--border-radius);
  box-shadow: var(--shadow-size) var(--shadow-size) var(--shadow);
  display: flex;
  flex-direction: row;
  font-size: 0.9rem;
  margin-bottom: var(--margin);
  padding: 10px;
}

.admonition pre {
  box-shadow: none;
}

.admonition.info {
  background: var(--lblue);
  border-color: var(--dblue);
}

.admonition.warn {
  background: var(--lred);
  border-color: var(--dred);
}

.admonition.note {
  background: var(--yellow);
  border-color: var(--dyellow);
}

.admonition.tip {
  background: var(--lgreen);
  border-color: var(--dgreen);
}

.admonition.discuss .icon:before {
  content: "\f086";
}

.admonition.info .icon:before {
  content: "\f05a";
}

.admonition.warn .icon:before {
  content: "\f06a";
}

.admonition.tip .icon:before {
  content: "\f0eb";
}

.admonition.note .icon:before {
  content: "\f040";
}

.admonition .icon {
  font-size: 2rem;
  line-height: 1;
  margin-right: 10px;
}

.admonition .text {
  align-self: center;
}

.admonition .text > *:last-child {
  margin-bottom: 0;
}

.footnotes {
  border-top: 1px solid var(--border);
  color: var(--quote);
  font-size: 0.8rem;
  padding-top: var(--margin);
}

@media only screen and (max-width: 800px) {
  .page .content {
    grid-row: 2;
  }

  #top-bar .expand-menus {
    display: block;
  }

  #top-bar nav {
    display: none;
    grid-column: 1 / 3;
    grid-row: 2;
    text-align: left;
  }

  #top-bar nav ul {
    margin-top: 0;
  }

  #top-bar nav.visible {
    display: block;
  }

  .page .left {
    display: none;
  }
}

@media only screen and (max-width: 700px) {
  .content table {
    display: block;
    max-width: fit-content;
    overflow-x: scroll;
    white-space: nowrap;
  }
}

@media only screen and (min-width: 800px) {
  .page aside {
    height: 85vh;
    margin-top: 0.8rem;
    position: sticky;
    top: var(--margin);
  }
}

@media only screen and (min-width: 950px) {
  .page .right {
    display: block;
    grid-column: 3;
  }
}

@media only screen and (max-width: 500px) {
  #top-bar .logo {
    grid-column: 1;
    grid-row: 1;
    margin-top: calc(var(--margin) / 2);
  }

  #top-bar .expand-menus {
    grid-column: 1;
    grid-row: 2;
    text-align: left;
  }

  #top-bar .expand-menus a {
    padding: calc(var(--margin) / 2) 0;
  }

  #top-bar nav {
    grid-column: 1;
    grid-row: 3;
  }

  #top-bar nav li {
    width: 100%;
  }

  .page {
    margin-top: calc(var(--margin) / 2);
  }
}