22
33/* Components to hide */
44# working-set-list-container {
5- display : none !important ;
5+ display : none !important ;
66}
7+
78span # project-title .title {
8- display : none;
9+ display : none;
910}
11+
1012div .working-set-option-btn [style ] {
11- display : none !important ;
13+ display : none !important ;
1214}
1315
1416/* Dark Theme Color */
1517/* TODO - move this to the dark theme CSS later */
1618
1719# sidebar {
18- background-color : black;
19- text-shadow : none;
20+ background-color : black;
21+ text-shadow : none;
2022}
2123
2224# project-files-container {
23- padding-left : 0 px ;
24- font-weight : 400 ;
25- font-family : "Open Sans" , "Helvetica Neue" ;
25+ padding-left : 0 ;
26+ font-weight : 400 ;
27+ font-family : "Open Sans" , "Helvetica Neue" , sans-serif ;
2628}
2729
2830# project-files-container ul {
29- padding : 0 ;
31+ padding : 0 ;
3032}
3133
3234
3335/* File tree basic styles */
3436
3537li .jstree-leaf a span ,
3638li .jstree-leaf span .extension {
37- font-size : 15px ;
38- color : rgba (255 , 255 , 255 , .5 );
39+ font-size : 15px ;
40+ color : rgba (255 , 255 , 255 , .5 );
3941}
4042
4143li .jstree-closed > a span ,
4244li .jstree-open > a span {
43- font-size : 15px ;
44- color : rgba (255 , 255 , 255 , .7 );
45+ font-size : 15px ;
46+ color : rgba (255 , 255 , 255 , .7 );
4547}
4648
4749
@@ -50,7 +52,7 @@ li.jstree-open > a span {
5052.jstree-brackets li .jstree-leaf ,
5153.jstree-brackets li .jstree-closed ,
5254.jstree-brackets li .jstree-open {
53- margin-left : 0 ;
55+ margin-left : 0 ;
5456}
5557
5658
@@ -59,16 +61,16 @@ li.jstree-open > a span {
5961li .jstree-open a ,
6062li .jstree-closed a ,
6163li .jstree-leaf a {
62- padding : 10px 10px 10px 30px ;
63- cursor : pointer !important ;
64+ padding : 10px 10px 10px 30px ;
65+ cursor : pointer !important ;
6466}
6567
6668
6769/* Folders get bold text treatment */
6870
6971li .jstree-open > a ,
7072li .jstree-closed > a {
71- font-weight : 600 ;
73+ font-weight : 600 ;
7274}
7375
7476
@@ -77,42 +79,39 @@ li.jstree-closed > a {
7779li .jstree-leaf a .selected-node ,
7880li .jstree-leaf a .selected-node span ,
7981li .jstree-leaf a .selected-node .extension {
80- color : white !important ;
82+ color : white !important ;
8183}
8284
8385
8486/* Hover state for all items */
8587
8688li .jstree-leaf a : not (.selected-node ): hover ,
8789li .jstree-open a : first-of-type : hover ,
88- li .jstree-closed a : first-of-type : hover
89- {
90- background : rgba (255 , 255 , 255 , .08 );
90+ li .jstree-closed a : first-of-type : hover {
91+ background : rgba (255 , 255 , 255 , .08 );
9192}
9293
9394
9495/* Hover state item text */
9596
96- li .jstree-leaf a : not (.selected-node ): hover > span
97- {
98- color : rgba (255 , 255 , 255 , .6 );
97+ li .jstree-leaf a : not (.selected-node ): hover > span {
98+ color : rgba (255 , 255 , 255 , .6 );
9999}
100100
101- li .jstree-open > a span
102- li .jstree-closed > a span ,
103- {
104- color : rgba (255 , 255 , 255 , .7 );
101+ li .jstree-open > a span ,
102+ li .jstree-closed > a span {
103+ color : rgba (255 , 255 , 255 , .7 );
105104}
106105
107106
108107/* Message for when there are no files in a folder */
109108
110109li .jstree-open > ul : empty : after {
111- content : "This folder is empty" ;
112- color : rgba (255 , 255 , 255 , .4 );
113- padding : 10px 10px 10px 30px ;
114- font-style : italic;
115- display : block;
110+ content : "This folder is empty" ;
111+ color : rgba (255 , 255 , 255 , .4 );
112+ padding : 10px 10px 10px 30px ;
113+ font-style : italic;
114+ display : block;
116115}
117116
118117
@@ -121,130 +120,130 @@ li.jstree-open > ul:empty:after {
121120li .jstree-closed a .context-node ,
122121li .jstree-open a .context-node ,
123122li .jstree-leaf a .context-node {
124- background : rgba (255 , 255 , 255 , 0.08 );
123+ background : rgba (255 , 255 , 255 , 0.08 );
125124}
126125
127126
128127/* Currently selected (edited) file */
129128
130129li .jstree-leaf a .selected-node ,
131130li .jstree-leaf a .selected-node : hover {
132- background : # 222 ;
131+ background : # 222 ;
133132}
134133
135134
136135/* Adds icon for folders only icon */
137136
138137.jstree-brackets li .jstree-closed > .jstree-icon ,
139138.jstree-brackets li .jstree-open > .jstree-icon {
140- transition : transform .15s ease-out !important ;
141- top : 9px ;
142- left : 7px !important ;
143- margin : 0 ;
144- background-image : url (/src/styles/ images/folder-icon .svg);
145- background-position : center;
146- background-size : 14 px ;
147- background-repeat : no-repeat;
148- cursor : pointer;
149- opacity : .8 ;
139+ transition : transform .15s ease-out !important ;
140+ top : 9px ;
141+ left : 7px !important ;
142+ margin : 0 ;
143+ background-image : url(.. / images/folder-arrow .svg);
144+ background-position : center;
145+ background-size : 7 px ;
146+ background-repeat : no-repeat;
147+ cursor : pointer;
148+ opacity : .8 ;
150149}
151150
152151
153152/* Opened folder gets a lighter icon */
154153
155154.jstree-brackets li .jstree-open > .jstree-icon {
156- opacity : 1 ;
155+ opacity : 1 ;
157156}
158157
159158
160159/* Hides file icon for non-folders */
161160
162161.jstree-brackets li .jstree-leaf > .jstree-icon {
163- display : none;
162+ display : none;
164163}
165164
166165
167166/* Indents files within a folder */
168167
169168.jstree-open > ul {
170- margin-left : 15px ;
171- border-left : solid 2px rgba (255 , 255 , 255 , .1 );
169+ margin-left : 15px ;
170+ border-left : solid 2px rgba (255 , 255 , 255 , .1 );
172171}
173172
174173
175174/* Hides selected (and right-clicked) file overlay, not needed */
176175/* Still keeping the DOM element in case it has a functional purpose */
177176
178177.filetree-selection , .filetree-context {
179- background : transparent;
180- border : none;
181- height : 37px ;
178+ background : transparent;
179+ border : none;
180+ height : 37px ;
182181}
183182
184183.filetree-selection-extension ,
185184.filetree-context-extension {
186- opacity : 0 ;
185+ opacity : 0 ;
187186}
188187
189188/* File renaming UI */
190189
191190# project-files-container .jstree-brackets .jstree-rename-input {
192- padding : 18px 5px 19px 5px ;
193- font-size : 15px ;
194- line-height : 15px ;
195- margin-left : 22px ;
196- background : white;
197- font-family : inherit;
198- color : black;
199- border-radius : 0 px ;
200- position : static;
201- border : none !important ;
202- width : calc (100% - 40px ) !important ;
203- box-sizing : border-box;
191+ padding : 18px 5px 19px 5px ;
192+ font-size : 15px ;
193+ line-height : 15px ;
194+ margin-left : 22px ;
195+ background : white;
196+ font-family : inherit;
197+ color : black;
198+ border-radius : 0 ;
199+ position : static;
200+ border : none !important ;
201+ width : calc (100% - 40px ) !important ;
202+ box-sizing : border-box;
204203}
205204
206205/* Overrides for Folder rename UI */
207206
208207# project-files-container .jstree-brackets .jstree-closed .jstree-rename-input ,
209208# project-files-container .jstree-brackets .jstree-open .jstree-rename-input {
210- margin-left : 30px ;
209+ margin-left : 30px ;
211210}
212211
213212# project-files-container .jstree-brackets .jstree-closed .jstree-rename-input + a ,
214213# project-files-container .jstree-brackets .jstree-open .jstree-rename-input + a {
215- display : none;
214+ display : none;
216215}
217216
218217
219218/* Right-click File Menu */
220219/* TODO - separate dark and light styles into separate theme CSS files. */
221220
222- .context-menu .dropdown-menu {
223- padding : 0 ;
224- border-radius : 0 ;
225- border : none;
221+ .context-menu .dropdown-menu {
222+ padding : 0 ;
223+ border-radius : 0 ;
224+ border : none;
226225}
227226
228227.context-menu .dropdown-menu li a {
229- padding : 10px 12px ;
230- line-height : 16px ;
231- font-size : 16px ;
232- cursor : pointer;
228+ padding : 10px 12px ;
229+ line-height : 16px ;
230+ font-size : 16px ;
231+ cursor : pointer;
233232}
234233
235234.context-menu .dropdown-menu li a : before {
236- display : none;
235+ display : none;
237236}
238237
239238.context-menu .dropdown-menu li a : hover {
240- background : rgba (0 , 0 , 0 , .1 );
239+ background : rgba (0 , 0 , 0 , .1 );
241240}
242241
243242.dark .context-menu .dropdown-menu li a {
244- color : rgba (255 , 255 , 255 , .5 );
243+ color : rgba (255 , 255 , 255 , .5 );
245244}
246245
247246.dark .context-menu .dropdown-menu li a : hover {
248- background : rgba (255 , 255 , 255 , .1 );
249- color : rgba (255 , 255 , 255 , .8 );
247+ background : rgba (255 , 255 , 255 , .1 );
248+ color : rgba (255 , 255 , 255 , .8 );
250249}
0 commit comments