:root {
  /* Base Monokai colors */
  --white: #f8f8f2;
  --black: #282828;

  --blue: #56C2D6;
  --gray: #505354;
  --lightgray: #80868880;
  --green: #B6E354;
  --orange: #FD971F;
  --purple: #9E6FFE;
  --red: #F92672;
  --yellow: #FEED6C;

  --hover-background-color: #28282880;

  /* Site colors */
  --background-color: var(--white);
  --color: var(--black);

  --alternate-background-color: var(--gray);
  --alternate-color: var(--white);

  --banner-background-color: var(--yellow);
  --banner-color: var(--black);

  --code-block-background-color: var(--lightgray);
  --code-block-color: var(--black);

  --border-color: var(--gray);

  --copy-success-color: var(--green);
  --copy-error-color: var(--red);

  --link-color: var(--blue);
  --visited-link-color: var(--purple);

  --command-color: var(--red);
  --pipe-color: var(--green);
  --flag-color: var(--orange);

  --external-link-size: 36px;
}

* {
  transition: opacity 0.25s;
}

@media (prefers-color-scheme: dark) {
  :root {
    /* Site color overrides for dark theme */
    --hover-background-color: #F8F8F280;

    --background-color: var(--black);
    --color: var(--white);

    --alternate-background-color: var(--gray);

    --code-block-background-color: var(--gray);
    --code-block-color: var(--white);
  }
}

.flex {
  display: flex;
}
.inflex {
  display: inline-flex;
}
.flex.row, .inflex.row {
  flex-direction: row;
}
.flex.col, .inflex.col {
  flex-direction: column;
}
.flex.centered, .inflex.centered {
  align-items: center;
}
.flex.around, .inflex.around {
  justify-content: space-around;
}
.flex.between, .inflex.between {
  justify-content: space-between;
}
.flex.center, .inflex.center {
  justify-content: center;
}
.flex.around, .inflex.around {
  justify-content: space-around;
}
.flex.even, .inflex.even {
  justify-content: space-evenly;
}

body {
  background-color: var(--background-color);
  color: var(--color);
  font-family: sans-serif;

  margin: 0;
  height: 100vh;
  overflow: hidden;
}

a {
  color: var(--link-color);
}
a:visited {
  color: var(--visited-link-color);
}

header {
  position: sticky;
  top: 0;
  width: 100vw;
  background-color: var(--alternate-background-color);
  color: var(--alternate-color);
  z-index: 1;
}

header .sidebar-container, header nav.flex {
  display: none;
}

article {
  flex-grow: 1;
  position: relative;
  overflow: auto;
}

footer {
  position: sticky;
  width: 100vw;
  bottom: 0;
  background-color: var(--alternate-background-color);
  color: var(--alternate-color);
}

article, .header, .footer {
  margin: 0 auto;
  width: 60vw;
}

.header, .footer {
  padding: 1rem 0;
}

@media (750px <= width < 1200px) {
  article, .header, .footer {
    width: 75vw;
  }
}
@media (min-resolution: 2x) {
  article, .header, .footer {
    width: 95vw;
  }
}

.sidebar-toggle {
  display: none;
}

.container {
  overflow: hidden;
  flex-grow: 1;
  padding: 1rem;
}

.articles {
  flex-grow: 1;
  padding: 0 1rem;
  overflow: auto;
}

.article {
  width: 100%;
  display: none;
}
.article.displayed {
  display: block;
}
.header, .article, .footer {
  margin: 0 auto;
}

.optname, .varname {
  text-align: right;
}
.optval, .varval {
  text-align: center;
}

.title {
  font-family: monospace,monospace;
  size: 24px;
}

.external-link-image {
  padding: 0.5rem;
  border-radius: 0.5rem;
}
.external-link-image svg {
  width: var(--external-link-size);
  height: var(--external-link-size);
}
.external-link-image:hover {
  background-color: var(--hover-background-color);
}

.banner {
  background-color: var(--banner-background-color);
  color: var(--banner-color);

  text-align: center;

  padding: 0.5rem 0;
  width: 100%;
}
.banner:empty {
  display: none;
}

.sidebar {
  min-width: 225px;
  height: 100%;
  border-right: 1px solid var(--alternate-background-color);
  text-align: right;
}
.sidebar ul {
  width: 100%;
  list-style-type: none;
  height: 100%;
  margin: 0;
  padding: 0;
}
.sidebar ul li {
  padding: 0.5rem 1rem;
  cursor: pointer;
}
.sidebar ul li:hover {
  background-color: var(--alternate-background-color);
  color: var(--alternate-color);
}
.sidebar ul li.active {
  color: var(--blue);
  background-color: var(--alternate-background-color);
}

.description {
  display: none;
  position: absolute;
  color: var(--alternate-color);
  padding: 0.25rem 0.5rem;
  border-radius: 0.25rem;
  background-color: var(--alternate-background-color);
  border: 1px solid var(--black);
  top: 0;
  left: 0;
}
.tooltip-shown > .description {
  display: inline-block;
}

.code {
  padding: 1rem;
  background-color: var(--code-block-background-color);
  color: var(--code-block-color);
  font-family: monospace,monospace;
  white-space: preserve-breaks;
}
.code.block {
  border-radius: 0.5rem;
  min-width: 75%;
}
.code.inline {
  display: inline-block;
  min-width: 0;
  padding: 0.25rem 0.5rem;
  border-radius: 0.25rem;
}
.code .command {
  color: var(--command-color);
}
.code .flag {
  color: var(--flag-color);
}
.code .pipe {
  color: var(--pipe-color);
}

dl {
  margin-left: 2.5rem;
}
dt {
  margin-bottom: 0.25rem;
}
dt:not(:first-child) {
  margin-top: 1.5rem;
}
dd+dd {
  margin-top: 0.25rem;
}

.copy-btn {
  margin-left: 1rem;
  padding: 0.25rem;
  border: 1px solid var(--white);
  border-radius: 0.25rem;
  cursor: pointer;
  width: 28px;
  height: 28px;
  opacity: 0;
}
*:hover > .copy-btn {
  opacity: 100%;
}
.copy-btn:hover {
  background-color: var(--white);
  color: var(--black);
}
.copy-btn.copy-success {
  border-color: var(--copy-success-color);
  color: var(--copy-success-color);
}
.copy-btn.copy-error {
  border-color: var(--copy-error-color);
  color: var(--copy-error-color);
}

.nav-btns {
  padding: 0.5rem 0;
  border-top: 1.5px solid var(--alternate-background-color);
}
.nav-btns button {
  flex-grow: 1;
  padding: 1rem 3rem;
  margin: 0 0.5rem;
  background-color: var(--background-color);
  color: var(--color);
  border-width: 0px;
  cursor: pointer;
  border-radius: 0.5rem;
}
.nav-btns button:hover {
  background-color: var(--alternate-background-color);
  color: var(--alternate-color);
}
.nav-btns .line {
  height: 100%;
  width: 1px;
  background-color: var(--alternate-background-color);
}

img {
  max-width: 90%;
}
img+img {
  margin-top: 0.75rem;
}

@media only screen and (hover: none) {
  /* Touchescreen device (phone, tablet, etc.) without mouse */
  header .sidebar-toggle {
    width: var(--external-link-size);
    height: var(--external-link-size);
    border-radius: 0.5rem;
  }
  header .sidebar-toggle:hover {
    background-color: var(--hover-background-color);
  }
  header .sidebar-toggle .material-symbols-outlined {
    padding: 0.5rem;
  }
  nav.sidebar {
    position: absolute;
    top: 0;
    left: 0;
    bottom: 0;
    width: 100%;
    max-width: none;
    background-color: var(--background-color);
    border-right: 0;
  }
  nav.sidebar {
    display: none;
  }
  nav.sidebar.toggled {
    display: flex;
  }
  nav.sidebar li {
    padding: 2rem;
    border-bottom: 1px solid var(--alternate-background-color);
    text-align: center;
  }
  .sidebar-toggle {
    display: inline-flex;
    padding: 0.5rem;
    margin-left: 0.5rem;
  }
  .sidebar-toggle .sidebar-open {
    display: none;
  }
  .sidebar-toggle.toggled .sidebar-closed {
    display: none;
  }
  .sidebar-toggle.toggled .sidebar-open {
    display: block;
  }
}

@media only screen and (min-resolution: 1.51dppx) {
  :root {
    font-size: large;
  }
}

@media only screen and (min-resolution: 2dppx) {
  :root {
    font-size: x-large;
  }
}

@media only screen and (min-resolution: 2.5dppx) {
  :root {
    font-size: xx-large;
  }
}

@media only screen and (min-resolution: 3dppx) {
  :root {
    font-size: xxx-large;
  }
}