+
+ .current-text-element {
+ outline: 1px dashed black;
+ }
+
+ .current-node-element {
+ border-color: lighten(#000, 15%);
+ border-style: solid;
+ border-width: 1px;
+ }
+
+ .highlighted-element {
+ border: 1px solid red;
+ }
+
+ counter-reset: footnote;