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.
This commit is contained in:
Ben Harris
2022-11-12 15:32:18 +00:00
parent 208e2508d3
commit 8ef28a4fd6

View File

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