Index: Tools/GardeningServer/styles/common.css |
diff --git a/Tools/GardeningServer/styles/common.css b/Tools/GardeningServer/styles/common.css |
index be0f21824445f6536bb91dd5486c2ce4bc5824b8..7d00e61d72c37ee5f9bb9b376ddac920f1979e53 100644 |
--- a/Tools/GardeningServer/styles/common.css |
+++ b/Tools/GardeningServer/styles/common.css |
@@ -70,6 +70,7 @@ button[disabled] { |
visibility: hidden; |
} |
+/* FIXME: This hover effect can't work on mobile. */ |
button:hover { |
background-image: linear-gradient(#f8f8f8, #f1f1f1); |
-webkit-box-shadow: 0 1px 1px rgba(0,0,0,0.1); |
@@ -91,6 +92,7 @@ button.default { |
background-image: linear-gradient(#4d90fe, #4787ed); |
} |
+/* FIXME: This hover effect can't work on mobile. */ |
button.default:hover { |
border: 1px solid #2f5bb7; |
color: white; |