Index: Tools/GardeningServer/styles/failures.css |
diff --git a/Tools/GardeningServer/styles/failures.css b/Tools/GardeningServer/styles/failures.css |
index 2027415320f7980648b0c25581a6e80029c7fe0b..43523d94d81718c3857c0cb30c0d3ea298768e51 100644 |
--- a/Tools/GardeningServer/styles/failures.css |
+++ b/Tools/GardeningServer/styles/failures.css |
@@ -37,23 +37,23 @@ a.failing-builder { |
text-decoration: none; |
} |
- a.failing-builder>span.version { |
+ a.failing-builder > span.version { |
text-transform: uppercase; |
background-color: #555; |
color: White; |
padding: 0 2px; |
} |
- a.failing-builder>span.architecture { |
+ a.failing-builder > span.architecture { |
padding: 0 2px; |
} |
- .effects a.failing-builder>span.architecture { |
+ .effects a.failing-builder > span.architecture { |
background-color: #555; |
color: White; |
} |
- a.failing-builder>span.graphics { |
+ a.failing-builder > span.graphics { |
padding: 0 2px; |
} |
@@ -62,20 +62,21 @@ ul.failures { |
padding: 0px; |
} |
- ul.failures>li { |
+ ul.failures > li { |
display: -webkit-box; |
position: relative; |
} |
- ul.failures>li label { |
+ ul.failures > li label { |
margin-left: 10px; |
} |
- ul.failures>li ul.actions { |
+ ul.failures > li ul.actions { |
padding: 0px; |
visibility: hidden; |
} |
- ul.failures>li:hover ul.actions { |
+/* FIXME: This hover effect can't work on mobile. */ |
+ ul.failures > li:hover ul.actions { |
visibility: visible; |
} |