if (window.RT) clearTimeout(window.RT);
              window.RT = setTimeout(function() {
                this.location.reload(false); /* false to get page from cache */
              }, 200);
            });

            $(document).ready(function () {
              // Fix, button text is wrong
              document.getElementsByName("toggle")[0].innerHTML = "<i class=\"fa fa-toggle-off\"></i> Show card view";
            });
          </script>
<!-- End of page scripts "minersunavailable.html" -->
<!-- #