html[data-theme=light] {
  --logo: url("/assets/OpenPLX_Logo_LightSmall.png");
  --search-icon: url("/assets/search_icon.png");
  --color-text: black;
  --color-text-sidebar: white;
  --color-header: white;
  --color-cover: #313130;
  --color-border: #eaecef;
  --color-background: #eee;
  --color-sidebar: #242424;
  --color-theme-label: #FBBE2B;
  --color-selected: #e76f25;
  --color-hover: #525251;
  --color-hover-selected: #E97D3A;
  --color-tree1: #313130;
  --color-tree2: #3D3D3B;
  --color-tree3: #444444;
  --color-tree4: #555555;
  --button-background: #e76f25;
  --button-background-hover: #E97D3A;
  --highlight-background: #1f1f1f;
  --highlight-foreground: #cccccc;
  --highlight-model: #43c9b0;
  --highlight-type: #d54b16;
  --highlight-number: #b5cea8;
  --highlight-string: #ce9178;
  --highlight-bool: #569cd6;
  --highlight-colon: #657b83;
  --highlight-identifier: #9cdcfe;
  --highlight-variable: #9cdcfe;
  --highlight-keyword: #c586c0;
  --highlight-comma: #d4d4ce;
  --highlight-colon: #d4d4ce;
  --highlight-paren: #ffd70a;
  --highlight-operator: #d4d4ce;
  --highlight-comment: #6a9955;
  --highlight-dot: #d4d4ce;
}
html[data-theme=light] *.darkmode-only {
  display: none;
}

html[data-theme=dark] {
  --logo: url("/assets/OpenPLX_Logo_DarkSmall.png");
  --search-icon: url("/assets/search_icon_darkmode.png");
  --color-text: #cccccc;
  --color-header: #1f1f1f;
  --color-border: #2b2b2b;
  --color-background: #181818;
  --color-theme-label: #cccccc;
  --highlight-background: #1f1f1f;
  --highlight-foreground: #cccccc;
  --highlight-model: #43c9b0;
  --highlight-type: #d54b16;
  --highlight-number: #b5cea8;
  --highlight-string: #ce9178;
  --highlight-bool: #569cd6;
  --highlight-colon: #657b83;
  --highlight-identifier: #9cdcfe;
  --highlight-variable: #9cdcfe;
  --highlight-keyword: #c586c0;
  --highlight-comma: #d4d4ce;
  --highlight-colon: #d4d4ce;
  --highlight-paren: #ffd70a;
  --highlight-operator: #d4d4ce;
  --highlight-comment: #6a9955;
  --highlight-dot: #d4d4ce;
}
html[data-theme=dark] *.lightmode-only {
  display: none;
}

.hamburger {
  width: 2em;
  height: 1.8em;
  display: grid;
  grid-template-rows: 1fr 1fr 1fr;
  margin-left: 1em;
  padding: 0.3em 0.4em;
  border-style: solid;
  border-color: var(--color-border);
  border-width: 1px;
  align-items: center;
  border-radius: 2px;
}

.hamburger:hover {
  cursor: pointer;
}

.hamburger div {
  background-color: #666;
  border-radius: 2px;
  height: 2px;
}

* {
  box-sizing: border-box;
  overflow-x: hidden;
}

*:target {
  scroll-margin-top: 85px;
}

body {
  margin: 0;
  padding: 0;
  background-color: var(--color-background);
}

h1 {
  font-size: 30px;
}

.docpage_heading p {
  display: none;
}

.docpage_heading h1 {
  font-size: 26px;
}

h2 {
  font-size: 20px;
}

p, h1, h2, h3, h4, a, ul, li, th, tr, li::marker, .index-page {
  font-family: Raleway, sans-serif;
  color: var(--color-text);
}

pre {
  color: var(--color-text);
}

input:focus {
  outline: none;
}

.logo {
  height: 36px;
  aspect-ratio: 1240/250;
  background-image: var(--logo);
  background-size: contain;
}

.icon {
  width: 1em;
  height: 1em;
  opacity: 0.8;
  transform: translateY(0.1em);
}

nav {
  position: fixed;
  top: 0;
  left: 0;
  display: flex;
  flex-wrap: nowrap;
  align-items: center;
  border-style: solid;
  border-width: 0 0 1px 0;
  border-color: var(--color-border);
  background-color: var(--color-header);
  width: 100vw;
  height: 68px;
  overflow: hidden;
  z-index: 3;
  font-size: 16px;
  max-width: 1386px;
}

nav a:first-of-type {
  height: 2.4em;
  margin-left: 0.5em;
  margin-right: auto;
}

nav a:not(:first-of-type) {
  height: 3em;
  display: flex;
  align-items: center;
  margin-right: 2em;
}

nav a {
  display: block;
  color: var(--color-text);
  text-decoration: none;
  padding: 0 0.5em;
  font-weight: 600;
  transition: color 0.1s;
}

nav a.button {
  height: 36px;
}

.button {
  background-color: var(--button-background);
  font-size: 16px;
  color: white;
  border-radius: 12px;
  padding-left: 70px;
  padding-right: 70px;
  transition: background 0.1s;
}

.button:hover, nav a.button:hover {
  background-color: var(--button-background-hover);
  color: white;
}

.action-button {
  padding: 10px 20px;
  text-decoration: none;
  text-align: center;
  font-weight: 600;
  width: fit-content;
}

input[name=theme] {
  display: none;
}

#version {
  margin-top: -1em;
  margin-right: 2em;
  margin-bottom: 1em;
  color: var(--color-text-sidebar);
  background: var(--color-tree1);
  border-radius: 6px;
  border-style: none;
  height: 28px;
  padding-left: 1em;
  width: 100%;
  font-family: Raleway, sans-serif;
  font-size: 17px;
  font-weight: 400;
  appearance: none;
  background-image: url("data:image/svg+xml;charset=utf8,%3Csvg xmlns='http://www.w3.org/2000/svg' version='1.1' height='10px' width='20px'%3E%3Ctext x='0' y='10' fill='white'%3E%E2%96%BE%3C/text%3E%3C/svg%3E");
  background-repeat: no-repeat;
  background-position: right center;
  background-clip: border-box;
}

#theme-label {
  display: block;
  margin-right: 1.5em;
  width: 2.5em;
  height: 1em;
  background: var(--color-border);
  border-radius: 1em;
  cursor: pointer;
  transition: all 0.6s ease;
}

input[name=theme]:checked + label {
  padding-left: 1.5em;
}

.theme-bg {
  background-color: var(--color-theme-label);
  width: 1em;
  height: 1em;
  border-radius: 1em;
}

nav a.active {
  color: var(--color-selected);
}

nav a:hover {
  color: var(--color-hover);
}

nav a.active:hover {
  color: var(--color-hover-selected);
}

.body {
  width: 100%;
  min-height: calc(100vh - 68px);
  padding-left: 0;
  display: flex;
  flex-direction: row;
  flex-wrap: nowrap;
  margin-top: 68px;
  background-color: var(--color-background);
}

.body .middle {
  flex-grow: 1;
  max-width: 1100px;
  display: flex;
  flex-direction: column;
}

.body .content {
  padding-left: 80px;
  padding-right: 80px;
  padding-bottom: 2em;
  background-color: white;
  flex-grow: 1;
}

.body .content h1 {
  margin-top: 48px;
  line-break: strict;
}

.body .cover {
  background-color: var(--color-cover);
  width: 100%;
  height: 280px;
  padding-left: 80px;
  padding-right: 80px;
  color: white;
  font-family: Raleway, sans-serif;
  font-size: 40px;
  font-weight: 600;
  align-content: center;
}

.body .cover.cover-image {
  background-color: black;
  background-attachment: local;
  background-repeat: no-repeat;
  background-position: right;
}

.body .cover.cover-image > div {
  max-width: 540px;
}

code, pre, pre > a, pre > span {
  font-family: "Roboto Mono", "Cascadia Mono", Consolas, "Courier New", monospace;
}

.index-page {
  display: flex;
  flex-direction: column;
}

#intro {
  display: flex;
  flex-direction: row;
  justify-content: space-between;
  align-items: center;
  gap: 1em;
}

.index-left-column-1, .index-right-column-1 {
  flex: 1;
  padding-top: 1em;
  font-family: Raleway, sans-serif;
}

#consortium {
  width: 100%;
  text-align: center;
  margin-top: 40px;
}

.logo-container {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 0px;
  padding: 10px;
  max-width: 100%;
}

.logo-container img {
  height: 45px;
  object-fit: contain;
  max-width: 180px;
  background: white;
  padding: 10px;
  border-radius: 10px;
  box-shadow: none;
}

#get-started {
  background-color: #242424;
  color: white;
  padding: 10px;
  border-radius: 8px;
  width: 100%;
  margin: 20px auto;
  text-align: left;
}

#get-started h2 {
  font-size: 18px;
  font-weight: 600;
  margin-bottom: 10px;
  color: white;
}

#get-started ul {
  list-style: none;
  padding: 0;
  margin: 0;
}

#get-started li {
  margin-bottom: 8px;
}

#get-started a {
  color: #fff;
  text-decoration: underline;
  font-weight: 400;
  font-size: 14px;
}

#get-started a:hover {
  text-decoration: underline;
  color: #E76F25;
}

.alert-warning {
  padding: 8px;
  border-style: solid;
  border-width: 1px;
  border-color: var(--color-border);
  background-color: #fbbe2b;
  font-size: 16px;
  border-radius: 4px;
  color: black;
  margin-bottom: 16px;
}

img[alt=vscodesetting] {
  display: block;
  width: 50vw;
  margin-left: auto;
  margin-right: auto;
  margin-top: 2em;
  margin-bottom: 2em;
  border-style: solid;
  border-color: var(--color-border);
  border-width: 1px;
}

@media (max-width: 850px) {
  .index-page {
    grid-template-columns: 1fr !important;
    grid-template-rows: 1fr 1fr;
    align-items: center;
  }
  .index-left-column-1 {
    padding-right: 0;
  }
  .index-right-column-1 img {
    height: unset !important;
    width: 60vw;
  }
  #intro {
    flex-direction: column;
  }
}
/* Small devices */
@media only screen and (max-width: 1100px) {
  .hamburger {
    display: grid;
  }
  nav a:not(:first-of-type) {
    display: none !important;
  }
  body {
    background-color: white;
  }
  .docpage_heading h1 {
    font-size: min(3.6vw, 18px);
    text-overflow: ellipsis;
  }
  .body {
    flex-direction: column;
    padding: 0;
    padding-top: 67px;
    margin-top: 0px;
  }
  .sidebar {
    border-width: 0 0 1px 0 !important;
    padding-left: 2em;
    padding-bottom: 1em;
    padding-top: 0.5em !important;
  }
  .body .cover {
    padding-left: 30px;
    padding-right: 30px;
  }
  .body .middle {
    padding-top: 1px;
  }
  .body .content {
    padding-top: 0;
    padding-left: 30px;
    padding-right: 30px;
  }
  .body .content h1 {
    margin-top: 30px;
  }
  pre {
    border-width: 1px 0 !important;
    margin-left: 0px;
  }
  input.header-search {
    display: none;
  }
  .button {
    max-width: 200px;
    height: 34px;
    align-content: center;
  }
  #version {
    margin-top: 15px;
  }
}
/* Large devices */
@media only screen and (min-width: 1101px) {
  .hamburger {
    display: none;
  }
  .sidebar {
    display: flex !important;
  }
}
.mobile-header-nav {
  display: none;
  flex-direction: column;
  padding-left: 1em;
  padding-top: 1em;
  padding-bottom: 0.5em;
  border-style: solid;
  border-width: 0 0 1px 0;
  border-color: var(--color-border);
  background-color: var(--color-sidebar);
  margin-top: 4em;
}

.mobile-header-nav a {
  text-decoration: none;
  color: white;
  margin-left: -16px;
  padding-left: 16px;
  padding-top: 6px;
  padding-bottom: 6px;
}

.mobile-header-nav a.button {
  margin-left: 0px;
  padding-left: 70px;
}

.mobile-header-nav a.active {
  background-color: var(--color-selected);
}

@media only screen and (max-width: 1100px) {
  .mobile-header-nav.open {
    display: flex;
  }
}
.sidebar {
  font-size: 16px;
  overflow-x: visible;
  display: none;
  flex-direction: column;
  flex-shrink: 0;
  width: 286px;
  padding-left: 20px;
  padding-right: 20px;
  padding-top: 20px;
  background-color: var(--color-sidebar);
}

.sidebar details {
  color: var(--color-text-sidebar);
}

.sidebar > details {
  margin-left: -20px;
  margin-right: -20px;
  padding-left: 20px;
}

.sidebar.open {
  display: flex;
}

@media only screen and (max-width: 1100px) {
  .sidebar.open {
    margin-top: -68px;
    width: 100%;
  }
}
.sidebar a {
  white-space: nowrap;
  display: block;
  color: var(--color-text-sidebar);
  text-decoration: none;
  padding-top: 7px;
  padding-bottom: 7px;
  overflow-x: hidden;
  text-overflow: ellipsis;
}

.sidebar details > div {
  padding-top: 0px;
  padding-bottom: 0px;
}

.sidebar details > div.tree-1 {
  padding-left: 40px;
  margin-left: -20px;
  background-color: var(--color-tree1);
}

.sidebar details > div.tree-1 > details {
  padding-left: 40px;
  margin-left: -40px;
}

.sidebar details > div.tree-2 {
  padding-left: 60px;
  margin-left: -40px;
  background-color: var(--color-tree2);
}

.sidebar details > div.tree-2 > details {
  padding-left: 60px;
  margin-left: -60px;
}

.sidebar details > div.tree-3 {
  padding-left: 80px;
  margin-left: -60px;
  background-color: var(--color-tree3);
}

.sidebar details > div.tree-3 > details {
  padding-left: 80px;
  margin-left: -80px;
}

.sidebar details > div.tree-4 {
  padding-left: 100px;
  margin-left: -80px;
  background-color: var(--color-tree4);
}

.sidebar details > div.tree-4 > details {
  padding-left: 100px;
  margin-left: -100px;
}

.sidebar details a {
  margin-right: 0px;
  padding-inline-end: 40px;
}

.sidebar details > div.tree-1 a {
  margin-left: -40px;
  padding-left: 40px;
}

.sidebar details > div.tree-2 a {
  margin-left: -60px;
  padding-left: 60px;
}

.sidebar details > div.tree-3 a {
  margin-left: -80px;
  padding-left: 80px;
}

.sidebar details > div.tree-4 a {
  margin-left: -100px;
  padding-left: 100px;
}

.sidebar summary {
  margin-left: -20px;
  padding-left: 20px;
  list-style: none;
  display: flex;
  flex-direction: row;
}

.sidebar summary::-webkit-details-marker {
  display: none;
}

.sidebar summary::after {
  content: "+";
  padding-right: 15px;
  font-size: 25px;
  font-family: "Roboto Mono";
  margin-top: -1px;
}

.sidebar details[open] > summary::after {
  content: "-";
}

.sidebar summary a {
  margin-left: -20px;
  display: flex;
  padding-top: 7px;
  padding-bottom: 7px;
  padding-left: 20px;
  flex-grow: 1;
}

.sidebar details > div.tree-1 summary {
  margin-left: -40px;
  padding-left: 40px;
}

.sidebar details > div.tree-2 summary {
  margin-left: -60px;
  padding-left: 60px;
}

.sidebar details > div.tree-3 summary {
  margin-left: -80px;
  padding-left: 80px;
}

.sidebar details > div.tree-4 summary {
  margin-left: -100px;
  padding-left: 100px;
}

.sidebar > a {
  margin-left: 0px;
  margin-top: 0px;
  font-weight: 700;
  margin-left: -20px;
  padding-left: 20px;
  margin-right: -20px;
}

.sidebar > .submenu {
  margin-left: -20px;
  margin-right: -20px;
}

.sidebar > .submenu > a {
  padding-left: 20px;
}

.sidebar .active {
  background-color: var(--color-selected);
}

.sidebar a:hover,
.sidebar summary:hover {
  background-color: var(--color-hover);
}

.sidebar a.active:hover,
.sidebar summary.active:hover,
.sidebar summary.active:hover a {
  background-color: var(--color-hover-selected);
}

pre {
  background-color: var(--highlight-background);
  border-color: var(--color-border);
  color: var(--highlight-foreground);
  border-style: solid;
  border-width: 1px;
  padding: 1.5em;
  border-radius: 12px;
  overflow-x: auto;
}

code.language-openplx > span, pre > span, pre > a {
  line-height: 1.4em;
}

pre > a {
  text-decoration: none;
}

.openplx_model, .openplx_type {
  color: var(--highlight-model);
}

.openplx_number {
  color: var(--highlight-number);
}

.openplx_string {
  color: var(--highlight-string);
}

.openplx_bool {
  color: var(--highlight-bool);
}

.openplx_colon {
  color: var(--highlight-colon);
}

.openplx_identifier, .openplx_var {
  color: var(--highlight-identifier);
}

.openplx_operator {
  color: var(--highlight-operator);
}

.openplx_keyword {
  color: var(--highlight-keyword);
}

.openplx_comma {
  color: var(--highlight-comma);
}

.openplx_paren, .openplx_bracket, .openplx_brace {
  color: var(--highlight-paren);
}

.openplx_comment {
  color: var(--highlight-comment);
}

.openplx_dot {
  color: var(--highlight-dot);
}

#editor {
  margin: 2em;
  font-family: "Cascadia Mono", Consolas, "Courier New", monospace;
  border-style: solid;
  border-color: var(--color-border);
  border-width: 1px;
  background-color: var(--highlight-background);
  padding: 1em;
}

#editor > * {
  font-family: "Cascadia Mono", Consolas, "Courier New", monospace;
}

.run {
  color: green;
}

.popup {
  box-sizing: content-box;
  border-color: var(--color-border);
  border-style: solid;
  border-width: 5px;
  overflow: hidden;
}

.popup #close_popup {
  line-height: 2em;
  padding-left: 5px;
  color: red;
}

input#search {
  margin-right: 2em;
  margin-bottom: 1.5em;
  color: var(--color-text);
  background: var(--color-border);
  border-radius: 6px;
  border-style: none;
  border-color: var(--color-border);
  height: 28px;
  background-image: var(--search-icon);
  background-repeat: no-repeat;
  background-position-x: 5px;
  background-position-y: 4px;
  background-size: 20px;
  padding-left: 30px;
  width: 100%;
  font-family: Raleway, sans-serif;
  font-size: 17px;
  font-weight: 400;
}

input#search:focus {
  box-shadow: 0 0 1px 1px var(--color-text);
  outline: none;
}

.search-result-pane {
  display: flex;
  flex-direction: column;
  gap: 1em;
  padding: 1em 0;
  white-space: nowrap;
  overflow: hidden;
}

.search-result-pane.static {
  transform: none !important;
}

.search-result-pane.dropdown {
  position: absolute;
  left: 286px;
  top: 90px;
  transform: translateY(-16em);
  z-index: 2;
  background-color: var(--color-sidebar);
  transition: transform 0.3s ease-in-out;
  border-radius: 10px;
}

.search-result-pane > div {
  padding: 0 1em;
  justify-self: left;
}

.search-result-pane a {
  font-family: Raleway, sans-serif;
  overflow: hidden;
  text-decoration: none;
  transition: color 0.1s;
}

.search-result-pane.dropdown a {
  color: white;
}

.search-result-pane a:hover {
  color: var(--color-hover);
}

.breadcrumb {
  display: flex;
  flex-direction: row;
  align-items: center;
  height: 2em;
  width: 100%;
  padding: 0 0.5em;
  background-color: var(--color-background);
  overflow-x: auto;
}

.breadcrumb > div {
  color: var(--color-text);
  font-family: Raleway, sans-serif;
  overflow-x: unset;
}

.crumb-slash {
  margin: 0 0.5em;
}

.openplx_code_container {
  display: flex;
  flex-direction: column;
}

.copy_button {
  background-image: url("/assets/copy_code_64x64.png");
  background-size: 2em 1.8em;
  background-repeat: no-repeat;
  background-position: center center;
  width: 2.5em;
  height: 2.5em;
  background-color: var(--highlight-background);
  border-style: none;
  transform: translateX(-7px) translateY(22px);
  border-radius: 10px;
  opacity: 0.5;
  align-self: end;
  margin-bottom: -2.5em;
}

.copy_button:active {
  background-size: 1.9em 1.71em;
}

.copy_button:hover {
  opacity: 1;
}

.openplx_code {
  flex: 1;
}

.notification {
  position: fixed;
  bottom: 0;
  width: 100vw;
  background-color: #ffdd95;
  padding: 1em 1em;
  font-family: Raleway, sans-serif;
  grid-template-columns: 2em auto 4em;
  display: none;
  align-items: center;
  gap: 1em;
  color: #131413;
}

.notification img {
  width: 2em;
  height: 2em;
  display: block;
}

.notification-close-container {
  text-align: center;
  user-select: none;
  cursor: pointer;
  font-size: 18px;
}

.notification-close-container:hover {
  font-weight: bold;
}

/*# sourceMappingURL=styles.css.map */