/* Progress bar */
#progress-bar {
/*  --scrollAmount: 0%;*/
  background-color: #54bc4b;
/*  width: var(--scrollAmount);*/
  /*  background: linear-gradient(to right, #F24E1E var(--scrollAmount), transparent 0);
  width: 100%; */  
  height: 5px;
  position: fixed;
  top: 0;
}
/* .js-toc .js-toc-content {
    overflow: auto;
    height: 78vh;
    width: calc(100% + 17px);
} */