From 4e3bb8f257f711c785498644a5c39d6c5d21dc87 Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sat, 12 Nov 2022 12:18:59 +0000
Subject: [PATCH] js: Use <li role="separator"> in place of <li
 class="separator">

ARIA has a "separator" role that has the semantics we want, so let's use
it.
---
 html/jspage.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/html/jspage.pl b/html/jspage.pl
index 4866308..86e7704 100755
--- a/html/jspage.pl
+++ b/html/jspage.pl
@@ -109,7 +109,7 @@ EOF
     position: relative;
 }
 
-#gamemenu li.separator {
+#gamemenu li[role=separator] {
     width: 1.5em;
     border: 0;
 }
@@ -313,7 +313,7 @@ ${unfinishedpara}
     <li><button type="button" id="load">Upload save file</button></li>
   </ul></div></li>
   <li><div>Type...<ul id="gametype"></ul></div></li>
-  <li class="separator"></li>
+  <li role="separator"></li>
   <li><button type="button" id="new">
     New<span class="verbiage"> game</span>
   </button></li>