diff -r 00bfb7b29d9e -r 391ad752903e src/pyams_skin/resources/less/ui.less
--- 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 & {