Make button border appearance consistent between browsers.

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; }