- removing current text element outline
- tuning colors for current/hovered node element
}
.current-text-element {
}
.current-text-element {
- outline: 1px dashed black;
}
.current-node-element {
}
.current-node-element {
- border-color: lighten(#000, 15%);
+ border-color: lighten(#000, 35%);
border-style: solid;
border-width: 1px;
}
.highlighted-element {
border-style: solid;
border-width: 1px;
}
.highlighted-element {
+ border: 1px solid lighten(#000, 15%);
}
counter-reset: footnote;
}
counter-reset: footnote;
font-size: 14px;
display: inline;
margin: 0 1px;
font-size: 14px;
display: inline;
margin: 0 1px;
- border: 1px solid transparent;