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