* {
  margin: 0;
  padding: 0;
  scroll-behavior: smooth;
}

* :not(latex *, displaylatex *) {
  font-family: poppins2;
}

h1 {
  margin: 20px;
  text-align: center;
}

a {
  text-decoration: none;
}

select {
  outline: none;
}

label {
  -webkit-user-select: none;
     -moz-user-select: none;
          user-select: none;
}

/* Selection Highlight Color */
::-moz-selection {
  background: #ddd;
  color: #000000;
}
::selection {
  background: #ddd;
  color: #000000;
}

.katex .katex-mathml {
  position: unset;
  display: none;
}

@font-face {
  font-family: poppins2;
  src: url("../fonts/poppins-min.ttf");
  font-display: swap;
}
/* fallback */
@font-face {
  font-family: "Material Icons";
  font-style: normal;
  font-weight: 400;
  src: url(https://fonts.gstatic.com/s/materialicons/v139/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2) format("woff2");
  font-display: swap;
}
.material-icons {
  font-family: "Material Icons";
  font-weight: normal;
  font-style: normal;
  font-size: 20px;
  line-height: 1;
  letter-spacing: normal;
  text-transform: none;
  display: inline-block;
  white-space: nowrap;
  word-wrap: normal;
  direction: ltr;
  font-feature-settings: "liga";
  -webkit-font-feature-settings: "liga";
  -webkit-font-smoothing: antialiased;
  margin-left: 3px;
  margin-right: 3px;
}

#topbar {
  color: #444;
  text-align: center;
  width: 100%;
  padding: 5px 0;
  background-color: #add8e6;
  -webkit-user-select: none;
     -moz-user-select: none;
          user-select: none;
  overflow: hidden;
  height: 28px;
}
#topbar a {
  font-family: soleil, Verdana, Arial, sans-serif;
}
#topbar a:hover {
  background-color: #a4cedb;
}
#topbar .icon {
  display: none;
  padding: 0;
  font-size: 28px;
  margin: 0 5px;
  background-position-x: fixed;
  right: 0px;
}
#topbar .navBtn {
  font-size: 24px;
  color: black;
  text-decoration: none;
  padding: 10px;
  margin: 5 0 5 0;
}
@media screen and (max-width: 600px) {
  #topbar a {
    display: none;
  }
  #topbar .icon {
    float: left;
    display: block;
  }
  #topbar .menuOpen {
    height: auto;
  }
  #topbar .menuOpen a, #topbar .menuOpen .icon {
    float: none;
    display: block;
    text-align: left;
  }
}

.side-menu {
  position: fixed;
  top: 38px;
  bottom: 0px;
  left: 0;
  width: 200px;
  background-color: #333;
  color: #fff;
  padding: 5px 0px 15px 0px;
  box-sizing: border-box;
  font-family: Impact, Haettenschweiler, "Arial Narrow Bold", sans-serif;
  overflow-y: auto;
}
@media (max-width: 800px) {
  .side-menu {
    display: none;
  }
}
.side-menu a {
  color: #fff;
  text-decoration: none;
  font-family: inherit;
}
.side-menu li {
  font-family: inherit;
}
.side-menu ul {
  list-style: none;
  padding: 0;
  margin: 0;
  font-family: inherit;
}
.side-menu .menuLevel2 {
  display: block;
  font-family: inherit;
  padding: 10px 0px;
  font-size: 18px;
  padding-left: 15px;
}
.side-menu .menuLevel2:hover {
  background-color: #666;
}
.side-menu .menuLevel3 {
  display: block;
  font-family: inherit;
  margin: 2px 0px;
  padding-left: 25px;
  font-size: 16px;
}
.side-menu .menuLevel3:hover {
  background-color: #666;
}

body {
  background-color: #eee;
  position: absolute;
  height: 100%;
  width: 100%;
}

section, header {
  margin: auto;
  max-width: 800px;
}

.content-page {
  padding: 20px;
  height: calc(100% - 28px - 40px - 10px);
  margin-left: 200px;
  overflow: auto;
}
@media (max-width: 800px) {
  .content-page {
    margin-left: 0px;
  }
}
.content-page * :not(latex *, displaylatex *) {
  font-family: "Times New Roman", Times, serif;
}
.content-page h1 {
  font-size: 36px;
  margin-top: 0;
  text-align: center;
  font-family: poppins2;
}
.content-page h2, .content-page h3 {
  margin-top: 19px;
  margin-bottom: 19px;
}
.content-page h3, .content-page .code-line, .content-page p {
  margin-left: 20px;
}
.content-page p {
  font-size: 18px;
  line-height: 1.5;
}
.content-page .code-line, .content-page p {
  margin-top: 10px;
  margin-bottom: 10px;
}
.content-page code {
  white-space: pre;
  font-family: monospace;
  line-height: 1.5;
  -moz-tab-size: 4;
    -o-tab-size: 4;
       tab-size: 4;
}
.content-page .code-container {
  display: flex;
  flex-direction: row;
  justify-content: center;
  gap: 80px;
}
.content-page term {
  font-weight: bold;
}
.content-page .info-table {
  margin: auto;
  border-collapse: collapse;
  width: 100%;
  max-width: 600px;
}
.content-page .info-table tr:hover {
  background-color: #f5f5f5;
}
.content-page .info-table tr th {
  background-color: #bcbcbc;
}
.content-page .info-table tr th, .content-page .info-table tr td {
  padding: 8px;
  text-align: left;
  border-bottom: 1px solid #ddd;
}

.logContainer {
  margin: 20px;
  margin-top: 0px;
  text-align: center;
  line-height: 50px;
  height: 50px;
}
.logContainer .logMessage {
  text-align: center;
  line-height: 1.5;
  display: inline-block;
}

.scriptView {
  display: flex;
  flex-direction: column;
  padding: 5px;
  gap: 5px;
  border-radius: 5px;
  background-color: #c9c9c9;
  height: 690px;
}
.scriptView .scriptControlBar {
  display: flex;
  flex-direction: column;
  gap: 5px;
}
.scriptView .scriptControlBar div {
  display: flex;
  flex-direction: row;
  justify-content: center;
  text-align: center;
  gap: 5px;
}
.scriptView .scriptControlBar div * {
  font-size: 14px;
  padding: 0px 2px 0px 2px;
  height: -moz-min-content;
  height: min-content;
}
.scriptView .scriptControlBar div button {
  padding: 2px 5px;
  cursor: pointer;
}
.scriptView .scriptTextField {
  outline: none;
  white-space: pre-wrap;
  border-radius: 5px;
  padding: 5px;
  background-color: #fff;
  height: 100%;
  width: 240px;
  resize: none;
  font-size: small;
  border-width: 0px;
}

/* Scroll Bar */
::-webkit-scrollbar {
  width: 6px;
}

::-webkit-scrollbar-track {
  -webkit-box-shadow: inset 0 0 6px rgba(0, 0, 0, 0.3);
  border-radius: 3px;
}

::-webkit-scrollbar-thumb {
  border-radius: 4px;
  background: #bbb;
}

.vizFrame {
  background-color: #eee;
  border: solid;
  border-radius: 5px;
  border-color: #666;
  border-width: 2px;
  box-shadow: 1px 1px 5px black;
  display: flex;
  flex-direction: row;
  gap: 20px;
  padding: 20px;
  margin: 20px auto 20px auto;
  width: -moz-fit-content;
  width: fit-content;
}
.vizFrame * :not(latex *, displaylatex *) {
  font-family: poppins2;
}
.vizFrame textarea {
  font-family: monospace;
  -moz-tab-size: 4;
    -o-tab-size: 4;
       tab-size: 4;
}
.vizFrame .vizFrameContentDiv {
  display: flex;
  flex-direction: column;
  width: -moz-min-content;
  width: min-content;
}
.vizFrame .vizBtn {
  background-color: #ccc;
  border-radius: 3px;
  padding: 0px 5px 0px 5px;
  -webkit-user-select: none;
     -moz-user-select: none;
          user-select: none;
  cursor: pointer;
}
.vizFrame #controlPanel {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  min-width: 280px;
  -webkit-user-select: none;
     -moz-user-select: none;
          user-select: none;
  border-left: #ccc;
  border-width: 2px;
  border-left-style: solid;
  padding: 10px 0px 10px 16px;
  max-height: 760px;
  overflow-y: auto;
}
.vizFrame #controlPanel input {
  transition: background-color 500ms linear 0ms;
  background-color: white;
  padding: 5px;
  outline: none;
  border-radius: 5px;
  border-style: none;
  text-align: center;
}
.vizFrame #controlPanel input[type=text] {
  width: 30px;
}
.vizFrame #controlPanel label {
  font-size: 14px;
}
.vizFrame #controlPanel option {
  text-align: center;
}
.vizFrame #controlPanel input[type=range] {
  padding: 0px;
}
.vizFrame #controlPanel .groupTitle {
  display: flex;
  flex-direction: row;
  cursor: pointer;
  margin: 0px 0px 10px 0px;
}
.vizFrame #controlPanel .groupTitle span {
  font-weight: bold;
  margin: 0px 2px;
  min-width: 12px;
}
.vizFrame #controlPanel .groupContent {
  margin: 0px 0px 10px 15px;
  vertical-align: middle;
}
.vizFrame #controlPanel .groupContent div {
  margin-bottom: 2px;
  margin-left: 4px;
}
.vizFrame #controlPanel .groupContent .textInputDiv {
  font-family: monospace;
  vertical-align: middle;
  display: inline-block;
  min-height: 16px;
  width: 30px;
  background-color: #fff;
  text-align: center;
  border-radius: 5px;
  padding: 2px;
  outline: none;
  overflow: hidden;
  margin: 0;
}
.vizFrame .hotKeyInfo div {
  font-family: monospace;
  min-height: 20px;
}
.vizFrame .notes li {
  font-size: 14px;
  margin: 0px 10px 5px 20px;
  max-width: 300px;
}
.vizFrame .collapsed {
  height: 0;
  padding-top: 0;
  padding-bottom: 0;
  display: none;
}

.asciiView > div {
  display: flex;
  flex-direction: row;
  gap: 5px;
  width: 380px;
  flex-wrap: wrap;
  justify-content: center;
}
.asciiView > div .ascii_box {
  background-color: white;
  width: 30px;
  height: 30px;
  border-width: 1px;
  border-style: solid;
  text-align: center;
  line-height: 30px;
}

.logContainer {
  margin-bottom: 0px;
}

.asciiVizContainer textarea {
  outline: none;
  resize: none;
  padding: 3px;
  width: 380px;
  height: 60px;
  margin-bottom: -10px;
}
.asciiVizContainer label {
  margin-top: 10px;
  display: block;
  text-align: center;
}