From 8ef28a4fd6b3b111b3d2c0446d9d82784d239d22 Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sat, 12 Nov 2022 15:32:18 +0000
Subject: [PATCH] js: Remove class="text/css" from <style> element

This is the wrong attribute, and the correct type="text/css" is
deprecated by MDN.  Since it's never worked, the deprecated attribute
presumably isn't needed either.
---
 html/jspage.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/jspage.pl b/html/jspage.pl
index 86e7704..2b2688b 100755
--- a/html/jspage.pl
+++ b/html/jspage.pl
@@ -74,7 +74,7 @@ EOF
 <meta http-equiv="Content-Type" content="text/html; charset=ASCII" />
 <title>${puzzlename}, ${unfinishedtitlefragment}from Simon Tatham's Portable Puzzle Collection</title>
 <script defer type="text/javascript" src="${jspath}${filename}.js"></script>
-<style class="text/css">
+<style>
 /* Top-level form for the game menu */
 #gamemenu {
     margin-top: 0;