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