--- a/src/pyams_skin/resources/less/ui.less Mon Jan 18 18:41:23 2016 +0100
+++ b/src/pyams_skin/resources/less/ui.less Mon Jan 18 18:45:59 2016 +0100
@@ -191,7 +191,7 @@
margin: 7px 15px;
}
}
- &-highlight, {
+ &-highlight {
&,
.ui-widget-content &,
.ui-widget-header & {