padding: 1px 1px;
}
+.grid-on {
+ [wlxml-tag] {
+ .rng-common-hoveredNode;
+ }
+}
+
[wlxml-tag=span] {
min-width: 10px;
}
[wlxml-class='gap'] {
display: inline;
}
+}
+
+[wlxml-class="gap"] {
+ &:before, &:after {
+ color: darken(@blue, 10%);
+ font-weight: bold;
+ //vertical-align: super;
+ }
+ &:before {
+ content: "(";
+ }
+ &:after {
+ content: ")";
+ }
}
\ No newline at end of file