Index: Tools/GardeningServer/styles/notifications.css |
diff --git a/Tools/GardeningServer/styles/notifications.css b/Tools/GardeningServer/styles/notifications.css |
index 25e517494dac9619be4b437e04b9534cb0ebe3d2..eed14b1bc8744e19176b22e8b59e3eb08a312594 100644 |
--- a/Tools/GardeningServer/styles/notifications.css |
+++ b/Tools/GardeningServer/styles/notifications.css |
@@ -40,7 +40,8 @@ ol.notifications ul { |
} |
ol.notifications>li { |
- display: -webkit-box; |
+ display: flex; |
+ flex-wrap: wrap; |
position: relative; |
width: 100%; |
padding: 10px; |
@@ -60,9 +61,9 @@ ol.notifications time { |
ol.notifications div.what { |
display: -webkit-box; |
- -webkit-box-orient: vertical; |
+ box-orient: vertical; |
ojan
2014/03/20 19:47:27
I don't think we expose an unprefixed box-orient.
|
padding: 0 0 0 10px; |
- -webkit-box-flex: 1; |
+ flex: 1; |
} |
ol.notifications>li div.what ul.effects>li.builder { |