A code-golfed minesweeper in HTML/CSS/JS