/* GLOBAL */
body {
  font-family: 'TTCommonsPro-Lt', serif;
  font-size: 80%;
  color: #0B003F;
  background-color: #E3E8EA;
}
a {color: #0B003F}
.main {
  padding-right: 10%;
  padding-left: 3%;
  padding-top: 6%;
  padding-bottom: 6%;
}

h2 {margin-top: 30px;
    font-family: 'GroldRounded-ExtraBold', sans-serif;
}

button {
  background-color: #0B003F;
  color: #fff;
  font-family: 'GroldRounded-Regular', sans-serif;
}

/* MEDIA QUERIES FOR FONT SCALING */

/* Extra small devices (portrait phones, less than 576px) */
/* No media query since this is the default in Bootstrap */

/* Small devices (landscape phones, 576px and up) */
@media (min-width: 576px) {
  body {
    font-size: 90%;
  }
}
@media (min-width: 650px) {
  body {
    font-size: 95%;
  }
}
/* Medium devices (tablets, 768px and up) */
@media (min-width: 768px) {
  body {
    font-size: 100%;
  }
}
@media (min-width: 850px) {
  body {
    font-size: 105%;
  }
}
/* Large devices (desktops, 992px and up) */
@media (min-width: 992px) {
  body {
    font-size: 100%;
  }
  .content {
    padding: 2.5em 1em 0 4em;
  }
}
@media (min-width: 1100px) {
  body {
    font-size: 107%;
  }
}
/* Extra large devices (large desktops, 1200px and up) */
@media (min-width: 1200px) {
  body {
    font-size: 115%;
  }
}


/* MAIN INDEX PAGE */
.toc-main-section {
  list-style: none;
}


/* LEFT PANEL */
.sticky {position: sticky; top: 2em}
.toc-sidebar {
  /* text-align: left; */
}
.toc-sidebar-top h1 {
  margin: 20px 0px;
}
.toc-sidebar-bottom {
  display: none;
  text-decoration: underline;
}
.toc-sidebar-bottom li {
  list-style: none;
  font-size: 90%;
  font-style: italic;
}
/* Large devices (desktops, 992px and up) */
@media (min-width: 992px) {
  .toc-sidebar-bottom {
    display: block;
  }
}


/* MAIN CONTENT */
.content button {
  margin-top: 50px;
}
.indented-list {
  list-style: none;
  padding-left: 30px
}
.indented-list li {
  margin: 20px 0px
}
.footnote {
  font-size: .8em
}
.footnote a {
  text-decoration: underline;
}
footer {
  margin-top: 80px;
  border-top: 1px solid black;
  padding: 10px 0px;
  font-size: 90%;
}