editor: fixing grid to handle changes to the document when grid is turned on
[fnpeditor.git] / src / editor / styles / mixins.less
1 .rng-mixin-scrollbar {
2     width: 9px;
3 }
4
5 .rng-mixin-scrollbar-track {
6     -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.3); 
7     -webkit-border-radius: 10px;
8     border-radius: 10px;
9 }
10
11 .rng-mixin-scrollbar-thumb {
12     -webkit-border-radius: 10px;
13     border-radius: 10px;
14     background: rgba(73,175,205,0.8); 
15     -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.5); 
16 }
17
18 .rng-mixin-scrollbar-thumb-window-inactive {
19     background: rgba(73,175,205,0.4); 
20 }