/* body {
    width: 80%;
    margin: 0 auto;
}
h1 {
    color: olive
}
.purple{
    color: #7b07ff;
}
.red{
    color: #ff0707;
}
.border {
    border: 3px solid greenyellow;
}
#banner {
    width: 100%;
}
img.square {
    width: 400px;
    object-fit: cover;
    height:400px;
}
#toc {
    background-color: #f8f9fa;
    border: 1px solid #a2a9b1;
    display: table;
    padding: 1em;
}
#toc a {
    text-decoration: none;
}
.tocnumber {
    color: black;
} */

/*No need to touch anything in this file:*/
li {
    background-color: #B10DC9;
  }
  
  .highlight {
    background-color: #7FDBFF;
  }