body {
  background: #DCE2EA;
  color: #000000;
  font-family: system-ui, ui-sans-serif, sans-serif;
  font-size: 12pt;
  -webkit-text-size-adjust: 100%;
}

a {
  color: #053788;
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}

hr {
  border-style: none;
  height: 3px;
  background-color: #DCE2EA;
  border-radius: 3px;
}

img.bordered {
  border-width: 1px;
  border-color: black;
  border-style: solid;
  border-radius: 8px;
}
img.centered {
  display: block;
  margin: 16px auto;
}
img.float-right {
  float: right;
  margin-right: 16px;
}

table {
  border-collapse: collapse;
  border-width: 0;
  border-spacing: 0;
  padding: 0;
  margin: 0 24px;
}
table td,
table th {
  border-width: 1px;
  border-style: solid;
  border-color: #F8FAFC;
  padding: 4px 16px;
}
table thead th {
  background-color: #CAE3EF;
  font-weight: normal;
}
table tbody td {
  background-color: #E5F3F5;
  font-weight: normal;
  font-size: 11pt;
}
table thead tr:first-child td:first-child,
table thead tr:first-child th:first-child {
  border-top-left-radius: 8px;
}
table thead tr:first-child td:last-child,
table thead tr:first-child th:last-child {
  border-top-right-radius: 8px;
}
table tbody tr:last-child td:first-child {
  border-bottom-left-radius: 8px;
}
table tbody tr:last-child td:last-child {
  border-bottom-right-radius: 8px;
}

.katex {
  font-size: 1.05em !important;
}

input[type=text] {
  width: 100%;
  margin: 4px 0;
  padding: 5.3333333333px;
  box-sizing: border-box;
  font-size: 1em;
}

button {
  font-size: 1em;
  margin: 4px 0;
  padding: 5.3333333333px;
}

.box,
.example,
.definition,
.formula {
  background-color: #E5F3F5;
  padding: 0 16px;
  margin: 24px;
  border-radius: 8px;
  overflow: scroll;
}

pre {
  background-color: #E5F3F5;
  padding: 0 16px;
  margin: 24px;
  border-radius: 8px;
  overflow: scroll;
  padding: 16px 16px;
}

.warning {
  background-color: #E5F3F5;
  padding: 0 16px;
  margin: 24px;
  border-radius: 8px;
  overflow: scroll;
}

.important {
  background-color: #E5F3F5;
  padding: 0 16px;
  margin: 24px;
  border-radius: 8px;
  overflow: scroll;
  background-color: #F7E5E3;
}

.align-left {
  text-align: left;
}

code,
.tt {
  font-family: ui-monospace, monospace;
}

.sc {
  font-variant: small-caps;
}

#header {
  background-color: #F8FAFC;
  text-align: justify;
  hyphens: auto;
  width: 736px;
  margin: 16px auto;
  padding: 16px;
  border-style: none;
  border-radius: 16px;
  margin-bottom: 0;
  background-color: #E6EEF4;
  background-image: linear-gradient(to right, #E6EEF4, #D3E2ED);
  font-weight: bold;
  text-align: left;
  border-style: dotted;
  border-width: 1px;
}
#header h1 {
  font-family: "Courier New", Courier, monospace;
  font-size: 32pt;
  letter-spacing: 2px;
  margin: 0;
}
#header h2 {
  font-family: "Courier New", Courier, monospace;
  font-size: 12pt;
  margin: 0;
}

#menu {
  width: 736px;
  margin: 0 auto;
  padding: 0 16px;
  max-width: 736px;
  height: 32px;
}
#menu a {
  border-width: 0px;
  text-decoration: none;
  display: block;
  width: 100%;
  color: black;
}
#menu ul {
  list-style: none;
  margin: 0;
  padding: 0;
  list-style-type: none;
  display: inline-flex;
  width: 100%;
}
#menu li {
  font-size: 10pt;
  font-weight: bold;
  padding: 8px;
  margin: 0;
  width: 122.8px;
  text-align: center;
  border-style: dotted;
  border-color: black;
  border-width: 0 1px 1px 1px;
  cursor: default;
  border-radius: 0 0 8px 8px;
}
#menu li + li {
  margin-left: 8px;
}
#menu li:hover {
  background-color: #E8EDEE;
}
#menu li:hover:has(ul) {
  border-radius: 0;
}
#menu li:hover ul {
  display: block;
}
#menu li ul {
  display: none;
  position: absolute;
  margin: 9px 0 0 -9px;
  top: auto;
  left: auto;
  width: inherit;
  z-index: 1;
}
#menu li ul li {
  font-weight: normal;
  margin: 0;
  border-style: dotted;
  border-width: 0 1px 1px 1px;
  border-radius: 0;
}
#menu li ul li:hover {
  background-color: white;
}
#menu li ul li:last-child {
  border-radius: 0 0 8px 8px;
}

#menu li:nth-child(1) {
  background-color: #F0E8CB;
}
#menu li:nth-child(1) li {
  background-color: white;
}
#menu li:nth-child(2) {
  background-color: #D5F0CB;
}
#menu li:nth-child(2) li {
  background-color: #E0EEDA;
}
#menu li:nth-child(3) {
  background-color: #CBF0E4;
}
#menu li:nth-child(3) li {
  background-color: #D8EEE7;
}
#menu li:nth-child(4) {
  background-color: #F0CBCB;
}
#menu li:nth-child(4) li {
  background-color: #f1dada;
}
#menu li:nth-child(5) {
  background-color: #E0CBF0;
}
#menu li:nth-child(5) li {
  background-color: #E2D6EB;
}

#content {
  background-color: #F8FAFC;
  text-align: justify;
  hyphens: auto;
  width: 736px;
  margin: 16px auto;
  padding: 16px;
  border-style: none;
  border-radius: 16px;
}
#content h1 {
  font-size: 20pt;
  font-weight: bold;
}
#content h2 {
  margin-block-start: 1.5em;
  font-size: 16pt;
  font-weight: bold;
}
#content h3 {
  margin-block-start: 1.5em;
  font-size: 13pt;
  font-weight: bold;
}
#content h3:has(+ h4) {
  margin-block-end: 2px;
}
#content h3 + h4 {
  margin-block-start: 2px;
}
#content h4 {
  font-size: 10pt;
  color: #888888;
}
#content p,
#content pre,
#content li {
  line-height: 150%;
}
#content li p {
  margin: 0;
}

#menu-tut {
  float: right;
  margin: 0 0 16px 16px;
  padding: 8px;
  border-width: 0 0 1px 1px;
  border-style: dotted;
  border-color: #888888;
  border-radius: 0 0 0 8px;
  width: 128px;
}
#menu-tut a {
  text-decoration: none;
  display: block;
  width: 100%;
  color: black;
}
#menu-tut ul {
  list-style: none;
  margin: 0;
  padding: 0;
  list-style-type: none;
  width: 100%;
}
#menu-tut li {
  font-size: 10pt;
  font-weight: bold;
  padding: 8px;
  margin: 0;
  width: 122.8px;
  text-align: center;
  cursor: default;
  border-radius: 8px;
}
#menu-tut li + li {
  margin-top: 4px;
}

#menu-tut li:nth-child(1) {
  background-color: #F0E8CB;
}
#menu-tut li:nth-child(2) {
  background-color: #D5F0CB;
}
#menu-tut li:nth-child(3) {
  background-color: #CBF0E4;
}
#menu-tut li:nth-child(4) {
  background-color: #F0CBCB;
}
#menu-tut li:nth-child(5) {
  background-color: #E0CBF0;
}
#menu-tut li:nth-child(6) {
  background-color: #c7d8eb;
}

#impressum {
  background-color: #F8FAFC;
  text-align: justify;
  hyphens: auto;
  width: 736px;
  margin: 16px auto;
  padding: 16px;
  border-style: none;
  border-radius: 16px;
  padding: 8px 16px;
  font-size: 10pt;
  text-align: center;
}

.construction-body {
  background-color: #E8F2D9;
}

.construction {
  position: fixed;
  inset: 0;
  width: fit-content;
  height: fit-content;
  margin: auto;
}
.construction .logn {
  font-size: 30pt;
  color: #9ca290;
  text-align: center;
  padding: 15px 50px;
  margin: 0px;
  border-width: 0 0 3px 0;
  border-color: #79AE2C;
  border-style: dotted;
}
.construction .text {
  font-weight: lighter;
  text-align: center;
}

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