From d912d3501da09d8b568a6a6b26e708e12e0bef45 Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Sun, 13 Mar 2022 19:49:07 +0100 Subject: Make button border appearance consistent between browsers. --- public/common/play.css | 11 ++++++----- public/style.css | 9 +++++---- 2 files changed, 11 insertions(+), 9 deletions(-) diff --git a/public/common/play.css b/public/common/play.css index d4560b9..10d1cc4 100644 --- a/public/common/play.css +++ b/public/common/play.css @@ -36,18 +36,19 @@ button { margin: 0; padding: 1px 12px 1px 12px; background-color: gainsboro; + border: 2px solid; + outline: 1px solid black; } button:disabled { color: gray; - border: 2px solid gainsboro; - outline: 1px solid gray; + border-color: gainsboro; + outline-color: gray; } button:enabled { - border: 2px outset white; - outline: 1px solid black; + border-color: white darkgray darkgray white; } button:enabled:active:hover { - border: 2px inset white; + border-color: darkgray white white darkgray; padding: 2px 11px 0px 13px; } diff --git a/public/style.css b/public/style.css index 5d99512..98e89b8 100644 --- a/public/style.css +++ b/public/style.css @@ -84,17 +84,18 @@ button, select { padding: 1px 10px; background-color: gainsboro; vertical-align: top; - border: 2px outset white; + border: 2px solid; + border-color: white darkgray darkgray white; outline: 1px solid black; } button:enabled:active:hover, select:active { - border: 2px inset white; + border-color: darkgray white white darkgray; padding: 2px 9px 0px 11px; } button:disabled { color: gray; - border: 2px solid gainsboro; - outline: 1px solid gray; + border-color: gainsboro; + outline-color: gray; } .error { color: brown; font-style: italic; white-space: pre-wrap; } -- cgit v1.2.3