From e15c9cba43cc51fad2645a4f13ec90ed3bb739d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?P=C5=99emysl=20Eric=20Janouch?= <p@janouch.name>
Date: Sun, 25 Sep 2022 11:08:17 +0200
Subject: [PATCH] xP: use a dotted border for button focus

It's visible enough.
---
 xP/public/xP.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xP/public/xP.css b/xP/public/xP.css
index ea85cce..e8b28f2 100644
--- a/xP/public/xP.css
+++ b/xP/public/xP.css
@@ -82,7 +82,7 @@ button {
 	padding: 0 .3em;
 }
 button:focus {
-	border: 1px dashed #000;
+	border: 1px dotted #000;
 }
 button:hover {
 	border-left: 1px solid #fff;