From a6afc88c000c1343fb1b62ff2a053b9ca7b8b1c4 Mon Sep 17 00:00:00 2001
From: Wirlaburla <wirlaburla@worlio.com>
Date: Sat, 29 Jul 2023 02:24:45 -0500
Subject: [PATCH] configure page-selector some more

---
 style.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/style.css b/style.css
index 78b6fa7..d6c6ebe 100644
--- a/style.css
+++ b/style.css
@@ -147,6 +147,10 @@ body > div.overlay .dialog table:not(.titlebox) {
 div.page-selector {
 	display: inline-flex;
 	margin: 2px;
+	-webkit-user-select: none;
+	-moz-user-select: none;
+	-ms-user-select: none;
+	user-select: none;
 }
 
 div.page-selector div.pagebutton {
@@ -185,7 +189,9 @@ div.page-selector div.pagebutton a:visited {
 div.page-selector div.pagebutton.curpage a,
 div.page-selector div.pagebutton.curpage a:link,
 div.page-selector div.pagebutton.curpage a:visited {
+	font-weight: bold;
 	color: var(--alert);
+	cursor: pointer;
 }
 
 div.page-selector div.pagebutton.backpage { border-right: none; }