@charset "UTF-8";
@font-face {
  font-family: "Nebula";
  src: url("/assets/fonts/NebulaSans-Book.ttf") format("truetype");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: "Nebula";
  src: url("/assets/fonts/NebulaSans-Bold.ttf") format("truetype");
  font-weight: bold;
  font-style: normal;
}
body {
  min-height: 100vh;
  font-family: "Nebula";
}

.flex-fill {
  flex: 1 1 auto;
}

a {
  color: rgb(85, 85, 252);
  text-decoration: none;
  font-weight: bold;
}

a:link {
  color: rgb(85, 85, 252);
}

a:hover {
  color: rgb(251, 84, 84);
}

h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
  text-decoration: none;
}

.jello:hover {
  animation: jello; /* referring directly to the animation's @keyframe declaration */
  animation-duration: 1.3s; /* don't forget to set a duration! */
}

.display-6 {
  font-size: 2rem;
}

.alice-blue {
  color: #0C5AA6;
}

img.centered {
  display: block;
  margin-left: auto;
  margin-right: auto;
  max-height: 500px;
  margin-top: 40px;
  margin-bottom: 40px;
}

@media screen and (max-width: 620px) {
  img.centered {
    max-width: 70vw;
  }
}
@media screen and (min-width: 621px) {
  img.centered {
    max-width: 400px;
  }
}
.footer-link {
  color: #232323;
  text-decoration: none !important;
}

.footer a {
  font-weight: normal;
}

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

.navbar {
  background-color: #f8f9fa;
}

.navbar a {
  color: #707071;
  font-weight: normal;
}

.navbar .hamburger {
  font-size: 35px;
  color: #707071;
}

.navbar-toggler:focus,
.navbar-toggler:active {
  outline: none;
  box-shadow: none;
}

.footnotes {
  margin-top: 30px;
}

a.footnote:before {
  content: "[";
}

a.footnote:after {
  content: "]";
}

a.footnote {
  text-decoration: none;
  font-weight: bold;
}

a.reversefootnote {
  text-decoration: none;
  font-style: normal;
}

.code {
  color: #232323 !important;
  background-color: #E0E0E0;
  border-style: double;
  border-color: #053664;
  border-width: 5px;
  padding: 15px;
  margin-left: 50px;
  margin-right: 50px;
}

code {
  color: #ec4545;
}

ul.dash li {
  list-style-type: "—";
  padding-inline-start: 1ch;
}

.scaled {
  width: 800px;
  position: relative;
  left: calc(50% - 400px);
}

@media screen and (max-width: 820px) {
  .scaled {
    zoom: 1;
    -moz-transform: scale(0.75);
    -moz-transform-origin: -100 0;
    -o-transform: scale(0.75);
    -o-transform-origin: -100 0;
    -webkit-transform: scale(0.75);
    -webkit-transform-origin: -100 0;
    -ms-transform: scale(0.75);
    -ms-transform-origin: -100 0;
    transform: scale(0.75);
    transform-origin: -100 0;
    border-width: 2px;
    margin-top: -60px;
    margin-bottom: -60px;
  }
}
@media screen and (max-width: 620px) {
  .scaled {
    zoom: 1;
    -moz-transform: scale(0.5);
    -moz-transform-origin: -100 0;
    -o-transform: scale(0.5);
    -o-transform-origin: -100 0;
    -webkit-transform: scale(0.5);
    -webkit-transform-origin: -100 0;
    -ms-transform: scale(0.5);
    -ms-transform-origin: -100 0;
    transform: scale(0.5);
    transform-origin: -100 0;
    border-width: 3px;
    margin-top: -120px;
    margin-bottom: -120px;
  }
}
.button1 {
  position: relative;
  background-color: white;
  color: rgb(85, 85, 252);
  border: none;
  border-radius: 5px;
  padding: 10px 20px;
  text-decoration: none;
  font-weight: bold;
  transition: top 0.1s;
  outline: solid rgb(85, 85, 252) 2px;
  box-shadow: 0px 5px;
}

.button1:hover, .button1:focus {
  outline: solid rgb(85, 85, 252) 2px !important;
  background-color: rgb(210, 210, 255);
  color: rgb(85, 85, 252);
  box-shadow: 0px 5px;
}

.button1:active {
  outline: solid rgb(85, 85, 252) 2px !important;
  box-shadow: none !important;
  background-color: white;
  color: rgb(85, 85, 252);
  top: 4px !important;
}

.button2 {
  background-color: rgb(85, 85, 252);
  color: white;
  font-weight: bold;
  z-index: 500 !important;
  text-align: left;
}

.button2:hover, .button2:focus {
  outline: solid rgb(85, 85, 252) 2px !important;
  background-color: white;
  color: rgb(85, 85, 252);
  box-shadow: none !important;
}

.button2:active {
  outline: solid rgb(85, 85, 252) 2px !important;
  box-shadow: none !important;
  background-color: white;
  color: rgb(85, 85, 252);
}

.form-check-input:checked {
  background-color: rgb(85, 85, 252);
}

.form-check-input:focus, .form-check-input:hover {
  outline: solid rgb(85, 85, 252) 4px !important;
  border: none;
  box-shadow: none !important;
}

.btn-close:focus {
  box-shadow: none !important;
}

.floating-tutorial-button {
  position: fixed;
  left: 0;
  top: 50%;
  transform: translateY(-50%);
  z-index: 1050; /* adjust as necessary to ensure it sits above content */
  border-radius: 0 0.5rem 0.5rem 0; /* rounded right corners */
}

.card-title {
  color: #0C5AA6;
}

.footer {
  background-size: cover;
  background-repeat: no-repeat;
  background-position: center;
}

.hero-section {
  background: linear-gradient(60deg, rgb(251, 84, 84) 5%, rgb(85, 85, 252) 95%);
  height: max(37vh, 350px);
  background-size: cover;
  background-repeat: no-repeat;
  background-position: center;
}

.hero-foreground {
  position: absolute;
  bottom: 0;
  left: 0;
  width: 70vw;
}

@media screen and (max-width: 740px) {
  .hero-foreground {
    width: 100vw;
  }
}
.page-header {
  height: 250px;
}

.accordion-button {
  color: #232323;
  background-color: white;
}

.accordion-button:focus {
  outline: none !important;
  box-shadow: none;
  border-color: #E0E0E0;
}

.accordion-button:not(.collapsed) {
  outline: none !important;
  box-shadow: none;
  color: #232323;
  background-color: white;
}

.accordion-button:not(.collapsed)::after {
  background-image: url("data:image/svg+xml,%3csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16' fill='%23212529'%3e%3cpath fill-rule='evenodd' d='M1.646 4.646a.5.5 0 0 1 .708 0L8 10.293l5.646-5.647a.5.5 0 0 1 .708.708l-6 6a.5.5 0 0 1-.708 0l-6-6a.5.5 0 0 1 0-.708z'/%3e%3c/svg%3e");
}

.social_media_button:hover {
  animation: jello; /* referring directly to the animation's @keyframe declaration */
  animation-duration: 0.7s; /* don't forget to set a duration! */
}

.social_media_button:active {
  box-shadow: none;
}

.social_media_button:focus {
  box-shadow: none;
}

.btn-outline-primary {
  color: #0C5AA6;
  border-color: #0C5AA6;
}

.btn-outline-primary:hover {
  background-color: #0C5AA6;
  border-color: #0C5AA6;
}

.btn-outline-primary:focus {
  outline: none !important;
  box-shadow: none;
}

.highlight {
  padding: 10px;
}

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