[document-text-element] {
font-size: 14px;
display: inline;
- margin: 0 1px;
white-space: pre-wrap;
}
padding: 1px 1px;
}
-.grid-on {
- [wlxml-tag] {
- .rng-common-hoveredNode;
- }
+[wlxml-tag="span"] {
+ padding: 0;
+ border: none;
}
[wlxml-tag=span] {
[wlxml-tag="aside"] {
margin-top: 10px;
margin-bottom: 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