@ -212,4 +212,4 @@ for (cell of document.getElementsByClassName("cell")) {
}
document.addEventListener('keypress', global_key_handler);
help_menu();