      </div>
              </div>

              <div class="mt-6 mb-4">
                <button id="reset-button" type="button" class="btn mr-2">Reset to default</button>
              </div>

            </div>
          </div>
        </div>
      </div>
      <div class="py-3">Made with <span class="tooltipped tooltipped-n" aria-label="Coffee">â˜•</span> by <a href="https://github.com/zvizvi/GitHub-Web-IDE" target="_blank">@zvizvi</a></div>
    </div>
  </main>
  <script src="../js/options.js"></scr