   <a id="navconfigedit" class="nav-link" href="configedit.html">
                  <i class="fas fa-cogs" aria-hidden="true" style="margin-right:12px"></i>Edit configuration
                </a>
              </li>
              <li class="nav-item" title="Display and configure the devices (GPUs and CPUs)">
                <a id="navdevices" class="nav-link" href="devices.html">
                  <i class="fa fa-microchip" aria-hidden="true" style="margin-right:15px"></i>Devices
                </a>
      