3 #rng-module-documentCanvas {
7 #rng-module-documentCanvas-mainArea {
12 #rng-module-documentCanvas-contentWrapper {
22 &::-webkit-scrollbar {
25 &::-webkit-scrollbar-track {
26 .rng-mixin-scrollbar-track;
28 &::-webkit-scrollbar-thumb {
29 .rng-mixin-scrollbar-thumb;
31 &::-webkit-scrollbar-thumb:window-inactive {
32 .rng-mixin-scrollbar-thumb-window-inactive;
36 outline: 0px solid transparent;
39 .current-text-element {
40 outline: 1px dashed black;
43 .current-node-element {
44 border-color: lighten(#000, 15%);
49 .highlighted-element {
50 border: 1px solid red;
62 .canvas-widget-label {
67 background-color: red;
74 font-family: monospace;
79 .rng-module-documentCanvas-currentNode {
86 .rng-module-documentCanvas-hoveredNodeTag {
96 font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;