@font-face {
  /*OFL: see resource/OFL.txt*/
  font-family: "Roboto Flex";
  src: url("resource/RobotoFlex-VariableFont_GRAD,XTRA,YOPQ,YTAS,YTDE,YTFI,YTLC,YTUC,opsz,slnt,wdth,wght.ttf");
}

@font-face {
  /*Apache 2.0: see resource/APACHE.txt*/
  font-family: "Roboto Mono";
  font-style: normal;
  src: url("resource/RobotoMono-VariableFont_wght.ttf");
}

@font-face {
  /*Apache 2.0: see resource/APACHE.txt*/
  font-family: "Roboto Mono";
  font-style: italic;
  src: url("resource/RobotoMono-Italic-VariableFont_wght.ttf");
}

html, body {
  margin: 0;
  padding: 0;

  height: 100%;
  display: flex;
  flex-direction: column;

  font-family: "Roboto Flex";
  font-variation-settings: 'wdth' 120;
  font-size: 16pt;

  background: var(--bg-color);
  color: var(--fg-color);
}

body {
  flex-shrink: 0;
}

h1 {
  font-weight: 400;
  text-transform: uppercase;
  font-size: 2rem;

  margin: 1rem 0 2rem 1rem;
}
h1 + p.sub {
  margin-top: -1.9rem;
}
p.sub {
  font-weight: 250;
  font-size: 1rem;
  margin: 0.1rem 0 2rem 1rem;
}
h2, h3, h4, h5, h6 {
  font-weight: 400;
  margin: 1rem 0 0 2rem;
}

h2 {
  font-weight: 250;
  font-size: 1.6rem;
}
h3 {
  font-weight: 333.333;
  font-size: 1.2rem;
}
h4 {
  font-size: 1rem;
}
h5 {
  font-size: 0.8rem;
  font-weight: 500;
}
h6 {
  font-weight: 250;
  font-size: 0.8rem;
}

p {
  font-weight: 250;
  font-size: 1rem;
  margin: 0.1rem 1rem;
}

#floating-settings {
  position: absolute;
  right: 0;
  top: 0;
  margin: 1rem;
}

#theme-switch {
  height: 1.6em;
  width: 1.6em;
  object-fit: cover;
  border-radius: 0.8em;
  transition-duration: 400ms;
}
#theme-switch:hover {
  object-position: 50%;
}

#editor-container {
  height: 100%;
}

#editor {
  height: 100%;
  width: 100vw;
}

#code-footer {
  padding: 0.2em;
}

#lang-select {
  appearance: none;
  border: none;
  padding: 0;
  margin: 0;
  width: fit-content;
  font-family: inherit;
  font-size: inherit;
  cursor: inherit;
  line-height: inherit;
  color: inherit;
  text-align: left;
}