- padding: 3px;
- color: @bg_colour;
- background: @main_colour;
- .borders(1px, solid, @link_colour);
-}
-.group-selected:hover,
-.nets-selected:hover,
-.fileas-selected:hover {
- padding: 3px;
- color: @link_colour;
- background: @bg_colour;
- .borders(1px, solid, @link_colour);
-}
+ // padding: 4px;
+ // color: @bg_colour;
+ // background: @main_colour;
+ // .borders(1px, solid, @link_colour);
+ .multibutton_active;
+}
+// .group-selected:hover,
+// .nets-selected:hover,
+// .fileas-selected:hover {
+// padding: 4px;
+// color: @link_colour;
+// background: @bg_colour;
+// .borders(1px, solid, @link_colour);
+// }