diff options
| -rw-r--r-- | public/common/play.css | 11 | ||||
| -rw-r--r-- | 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; } |