b2fbd5d463b77fb62b8c2f0f38b54eec3b2be99e
[fnpeditor.git] / src / editor / modules / documentCanvas / documentCanvas.less
1 @import 'nodes.less';
2 @import 'canvas/documentElement.less';
3 @import 'canvas/genericElement.less';
4 @import 'canvas/gutter.less';
5
6 #rng-module-documentCanvas {
7    height: 100%;
8 }
9
10 #rng-module-documentCanvas-mainArea {
11    height: 100%;
12    margin-bottom: 20px;
13 }
14
15 #rng-module-documentCanvas-contentWrapper {
16     border-color: #ddd;
17     border-style: solid;
18     border-width: 1px;
19     float:left;
20     width: 100%;
21     height: 100%;
22     overflow-y: scroll;
23     padding: 0 10px;
24     
25     &::-webkit-scrollbar {
26         .rng-mixin-scrollbar;
27     }
28     &::-webkit-scrollbar-track {
29         .rng-mixin-scrollbar-track;
30     }
31     &::-webkit-scrollbar-thumb {
32         .rng-mixin-scrollbar-thumb;
33     }
34     &::-webkit-scrollbar-thumb:window-inactive {
35         .rng-mixin-scrollbar-thumb-window-inactive;
36     }
37     
38     .canvas-wrapper {
39         display: table-cell;
40         vertical-align: top;
41         width:800px;
42         outline: 0px solid transparent;
43     }
44
45     .current-text-element {
46     }
47
48     .current-node-element {
49         border-color: lighten(#000, 35%);
50         border-style: solid;
51         border-width: 1px;
52     }
53
54     .current-node-element[wlxml-tag="span"] {
55         border: none;
56     }
57
58     .highlighted-element {
59         border: 1px solid lighten(#000, 15%);
60     }
61     
62     .highlighted-element[wlxml-tag="span"] {
63         border: none;
64     }
65
66     counter-reset: footnote;
67 }
68
69 .rng-module-documentCanvas-currentNode {
70     background: #fffacd;
71     border-color: grey;
72     border-style:dashed;
73     border-width:1px;
74 }
75
76 .rng-module-documentCanvas-hoveredNodeTag {
77     position:absolute;
78     height:20px;
79     top:-20px;
80     left:0;
81     background: #bd362f;
82     color: white;
83     font-size:9px;
84     font-weight: normal;
85     font-style: normal;
86     font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
87     padding: 0 5px;
88     text-indent: 0;
89 }
90
91 [document-node-element] {
92     position:relative;
93     border: 1px solid transparent;
94 }