           <a id="navminersoptimal" class="nav-link" href="minersoptimal.html">
                  <i class="fa-solid fa-person-digging" aria-hidden="true" style="color:rgb(48, 192, 48); margin-right:15px"></i>Optimal miners
                </a>
              </li>
              <li class="nav-item" title="Shows a list of all unavailable miners">
                <a id="navminersunavailable" class="nav-link" href="minersunavailable.html">
                  <i class="fa-solid fa-person-digging" aria-hidden="tr