From db4cb3a731e64d6e8b123f31dae10c88ce849f60 Mon Sep 17 00:00:00 2001 From: Andy Kopra Date: Sun, 11 Oct 2026 18:21:13 +0200 Subject: [PATCH] A disabled button is dimmed From the development repository at 74b5119. Co-Authored-By: Claude Fable 5.1 --- client/kokkoja.css | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/client/kokkoja.css b/client/kokkoja.css index 16015c9..7c0fb25 100644 --- a/client/kokkoja.css +++ b/client/kokkoja.css @@ -36,6 +36,12 @@ button { } button:hover { border-color: var(--muted); } +/* A button that cannot be used now (Undo with nothing to undo) is dimmed, + as every toolkit does; the browser's own grey for it was overridden + by the colour every button inherits, so the state had been invisible + (Andy, 2026-10-11). The label keeps its width: nothing moves. */ +button:disabled { color: var(--muted); cursor: default; } +button:disabled:hover { border-color: var(--line); } button[aria-pressed="true"] { border-color: var(--accent);