:root {
  --website-header-size: 100px;
  --website-header-top-size: 70px;
  --website-footer-size: 70px;
  --website-left-sidebar-width: 200px;
}

body {
  display: flex; /* affects children */
  flex-direction: column; /* affects children */
  flex-wrap: nowrap; /* affects children */

  min-height: 100%;
  margin: 0;

  font-family: "Assistant", sans-serif;
  font-optical-sizing: auto;
  font-weight: 400;
  font-style: normal;
  font-size: 18px;
}

#article {
  font-family: "STIX Two Text", Times, serif;
  font-size: 21px;
}

h2 {
  font-family: "Assistant", sans-serif;
  font-size: 35px;
  font-weight: 650;
  margin: 30px 0px 20px 0px;
}

p {
  margin: 25px 0px 0px 0px;
}

#header-area {
  display: flex; /* affects children */
  flex-direction: column; /* affects children */
  flex-wrap: nowrap; /* affects children */
  align-items: stretch; /* affects children */

  position: sticky;

  height: var(--website-header-size);
  padding: 0;
  top: 0;
  z-index: 1000;

  background-color: #f8f8f8;

  box-sizing: border-box;
  border-style: none;
  border-bottom-style: solid;
  border-width: 1px;
  border-color: #e0e0e0;
}

#header-top {
  display: flex; /* affects children */
  flex-direction: row; /* affects children */

  flex-grow: 0; /* affects self */
  flex-shrink: 0; /* affects self */
  flex-basis: var(--website-header-top-size); /* affects self */

  background-color: #f8f8f8;

  box-sizing: border-box;
  border-style: none;
  border-top-style: solid;
  border-width: 1px;
  border-color: #e0e0e0;
}

#header-menu {
  display: flex; /* affects children */
  flex-direction: row; /* affects children */
  justify-content: flex-end; /* affects children */
  align-items: center; /* affects children */

  font-size: 22px;

  flex-grow: 1; /* affects self */
  flex-shrink: 0; /* affects self */
  flex-basis: 0; /* affects self */

  box-sizing: border-box;
  border-style: none;
  border-top-style: solid;
  border-width: 1px;
  border-color: #e0e0e0;
}

.header-menu-item {
  margin-right: 1rem;
}

.header-menu-item a {
  color: #000000 !important;
  text-decoration: none;
}

.header-menu-item a:hover {
  text-decoration: underline;
}

#header-bottom {
  display: flex; /* affects children */
  flex-direction: row; /* affects children */
  align-items: center; /* affects children */

  flex-grow: 1; /* affects self */
  flex-shrink: 0; /* affects self */

  background-color: white;

  box-sizing: border-box;
  border-style: none;
  border-top-style: solid;
  border-width: 1px;
  border-color: #e0e0e0;
}

#header-logo {
  position: absolute;
  left: 10px;
  top: 24px;
  z-index: 2000;
  width: 161px;
}

#header-bottom-left-padding {
  flex-grow: 0; /* affects self */
  flex-shrink: 0; /* affects self */

  width: var(--website-left-sidebar-width);
}

#header-bottom-breadcrumb {
  flex-grow: 1; /* affects self */
  flex-shrink: 0; /* affects self */

  margin-left: 1em;
}

#header-bottom-toolbar {
  flex-grow: 0; /* affects self */
  flex-shrink: 0; /* affects self */

  margin-right: 1rem;
}

#main-area {
  width: 100%;
  max-width: 80rem;
  min-height: calc(
    100vh - var(--website-header-size) - var(--website-footer-size)
  );
}

#main-area-row {
  display: flex; /* affects children */
  flex-wrap: nowrap; /* affects children */
}

#left-sidebar {
  position: fixed;
  top: var(--website-header-size);
  --scripted-sidebar-nudge: 300px;
  height: calc(
    100vh - var(--website-header-size) - var(--scripted-sidebar-nudge)
  );
  overflow-x: hidden;
  overflow-y: auto;
  /* show a scrollbar when needed */
  padding: 0;
  margin: 0;

  width: var(--website-left-sidebar-width);
}

.sidenav-ul {
  list-style-type: none;
  padding-inline-start: 8px;
}

.sidenav-li-padtop {
  padding-top: 16px;
}

.sidenav-ul-heading {
  padding-inline-start: 0px;
}

.sidenav-label {
  font-size: 20px;

  border-radius: 4px;
  border-color: rgba(0, 0, 0, 0);
  border-style: solid;

  border-top-width: 1px;
  border-bottom-width: 1px;
  border-left-width: 2px;
  border-right-width: 2px;
}

.sidenav-label-link {
  color: initial;
  text-decoration-line: initial;
}

.sidenav-label-link:hover:not(.sidenav-label-current) {
  background-color: #dddddd;
  border-radius: 4px;
  border-color: #dddddd;
  border-style: solid;
}

.sidenav-label-heading {
  font-weight: bold;
}

.sidenav-label-current {
  background-color: #bfdeff;
  border-radius: 4px;
  border-color: #bfdeff;
  border-style: solid;
}

#left-sidebar-placeholder {
  z-index: -1000;

  flex-grow: 0; /* affects self */
  flex-shrink: 0; /* affects self */
  flex-basis: var(--website-left-sidebar-width); /* affects self */
}

#article {
  flex-grow: 1; /* affects self */
  flex-shrink: 1; /* affects self */
  flex-basis: 800px; /* affects self */

  min-width: 400px;
  max-width: 700px;

  margin-left: 1em;

  padding-right: 1em;
  padding-bottom: 2em;
}

#article-padding-right {
  flex-grow: 1; /* affects self */
  flex-shrink: 1; /* affects self */
  flex-basis: 0; /* affects self */
}

#footer-area {
  height: var(--website-footer-size);

  background-color: #f8f8f8;

  box-sizing: border-box;
  border-style: none;
  border-top-style: solid;
  border-width: 1px;
  border-color: #e0e0e0;
}