:root {
  --math-env-margin: 20px 0px 20px; /* top, right, bottom, left */
  --primary-color: #be94f9;
  --code-background-color: #f4f4f4;
  --mono-font: "IBM Plex Mono", monospace;
  --sans-font: "Computer Modern Sans", sans-serif;
}

/* styling for links */
a {
  text-decoration: underline;
  color: #4d4747;
}

/* Styling for body text */
body {
  text-align: justify;
  text-justify: auto;
  margin: 0px;
}

header {
    margin-top: 3em;
}


/* Styling for navigation */
.nav-container {
    display: flex;
    flex-wrap: wrap;
    background-color: var(--primary-color);
    align-content: flex-start;
    position: sticky; /* not working RIP */
}

.nav-item {
    padding: 1em 5em;
    text-align: center;
    transition: 0.1s ease;
    font-family: var(--mono-font);
    font-size: 1.3em;
    position: relative;
    border-style: solid;
    border-color: var(--primary-color);
}

.nav-link {
    font-weight: bold;
}

.nav-link:hover {
    border-color: black;
    padding: 1em 5.5em;
}

.div-link {
  position:absolute;
  width:100%;
  height:100%;
  top:0;
  left: 0;

  z-index: 1;
}

/* Styling for page content */
.content {
    margin-left: 15%;
    margin-right: 15%;
    font-family: var(--sans-font);
    font-size: 1.5em;
}

h1 {
    text-align: center;
    padding-top: 1em;
    padding-bottom: 1em;
}

pre {
    background: var(--code-background-color);
    border: 1px solid #ddd;
    border-left: 3px solid var(--primary-color);
    color: #666;
    page-break-inside: avoid;
    font-family: monospace;
    font-size: 1em;
    line-height: 1.6;
    max-width: 100%;
    overflow: auto;
    padding: 1em 1.5em;
    display: block;
    word-wrap: break-word;
    margin: 25px 0px 25px 0px;
}

code {
    background: var(--code-background-color);
    color: #666;
    font-family: monospace;
    font-size: 15px;
}

#shift {
    width: 1em;
    border: none;
    font-family: var(--sans-font);
    font-size: 18px;
    background-color: var(--primary-color);
    text-align: center;
}

/* Accordion menu stuff */
.accordion {
    background-color: var(--primary-color);
    padding: 18px;
    width: 100%;
    border: solid 3px;
    text-align: left;
    outline: none;
    font-size: 15px;
    margin-top: 2em;
    font-size: 1em;
    font-style: var(--sans-font);
}

.panel {
    padding: 0 18px;
    background-color: white;
    overflow: hidden;
}