1 /* Make the text editor has a nice style */
5 background-color: alpha(white, 0.30);
10 background-color: #4a90d9;
14 .scrollbars-junction {
15 background-color: alpha(white, 0.80);
22 border-color: transparent;
23 background-clip: padding-box;
24 background-color: #999;
27 .scrollbar.slider:prelight {
28 background-color: #555;
32 background-color: alpha(white, 0.80);
33 background-image: linear-gradient(transparent, transparent 1px, #999 1px, #999 4px, transparent 4px);
34 background-size: 40px auto;
35 background-repeat: no-repeat;
36 background-position: center;
39 .pane-separator:prelight {
40 background-image: linear-gradient(transparent, transparent 1px, #555 1px, #555 4px, transparent 4px);