10
10
@import './settings-dialog.css' ;
11
11
@import './firmware-uploader-dialog.css' ;
12
12
@import './certificate-uploader-dialog.css' ;
13
+ @import './user-fields-dialog.css' ;
13
14
@import './debug.css' ;
14
15
@import './sketchbook.css' ;
15
16
@import './cloud-sketchbook.css' ;
16
17
@import './fonts.css' ;
17
18
@import './custom-codicon.css' ;
18
19
19
20
.theia-input .warning : focus {
20
- outline-width : 1px ;
21
- outline-style : solid;
22
- outline-offset : -1px ;
23
- opacity : 1 !important ;
24
- color : var (--theia-warningForeground );
25
- background-color : var (--theia-warningBackground );
21
+ outline-width : 1px ;
22
+ outline-style : solid;
23
+ outline-offset : -1px ;
24
+ opacity : 1 !important ;
25
+ color : var (--theia-warningForeground );
26
+ background-color : var (--theia-warningBackground );
26
27
}
27
28
28
29
.theia-input .warning {
29
- background-color : var (--theia-warningBackground );
30
+ background-color : var (--theia-warningBackground );
30
31
}
31
32
32
- .theia-input .warning ::placeholder { /* Chrome, Firefox, Opera, Safari 10.1+ */
33
- color : var (--theia-warningForeground );
34
- background-color : var (--theia-warningBackground );
35
- opacity : 1 ; /* Firefox */
33
+ .theia-input .warning ::placeholder {
34
+ /* Chrome, Firefox, Opera, Safari 10.1+ */
35
+ color : var (--theia-warningForeground );
36
+ background-color : var (--theia-warningBackground );
37
+ opacity : 1 ; /* Firefox */
36
38
}
37
39
38
- .theia-input .warning : -ms-input-placeholder { /* Internet Explorer 10-11 */
39
- color : var (--theia-warningForeground );
40
- background-color : var (--theia-warningBackground );
40
+ .theia-input .warning : -ms-input-placeholder {
41
+ /* Internet Explorer 10-11 */
42
+ color : var (--theia-warningForeground );
43
+ background-color : var (--theia-warningBackground );
41
44
}
42
45
43
- .theia-input .warning ::-ms-input-placeholder { /* Microsoft Edge */
44
- color : var (--theia-warningForeground );
45
- background-color : var (--theia-warningBackground );
46
+ .theia-input .warning ::-ms-input-placeholder {
47
+ /* Microsoft Edge */
48
+ color : var (--theia-warningForeground );
49
+ background-color : var (--theia-warningBackground );
46
50
}
47
51
48
- /* Makes the sidepanel a bit wider when opening the widget */
52
+ /* Makes the sidepanel a bit wider when opening the widget */
49
53
.p-DockPanel-widget {
50
- min-width : 200px ;
51
- min-height : 200px ;
54
+ min-width : 200px ;
55
+ min-height : 200px ;
52
56
}
53
57
54
58
/* Overrule the default Theia CSS button styles. */
55
59
button .theia-button ,
56
60
.theia-button {
57
- border : 1px solid var (--theia-dropdown-border );
61
+ border : 1px solid var (--theia-dropdown-border );
58
62
}
59
63
60
64
button .theia-button : hover ,
61
65
.theia-button : hover {
62
- border : 1px solid var (--theia-focusBorder );
66
+ border : 1px solid var (--theia-focusBorder );
63
67
}
64
68
65
69
button .theia-button {
66
- height : 31px ;
70
+ height : 31px ;
67
71
}
68
72
69
73
button .theia-button .secondary {
70
- background-color : var (--theia-secondaryButton-background );
71
- color : var (--theia-secondaryButton-foreground );
74
+ background-color : var (--theia-secondaryButton-background );
75
+ color : var (--theia-secondaryButton-foreground );
72
76
}
73
77
74
78
button .theia-button .main {
75
- color : var (--theia-button-foreground );
79
+ color : var (--theia-button-foreground );
76
80
}
77
81
78
82
/* To make the progress-bar slightly thicker, and use the color from the status bar */
79
83
.theia-progress-bar-container {
80
- width : 100% ;
81
- height : 4px ;
84
+ width : 100% ;
85
+ height : 4px ;
82
86
}
83
87
84
88
.theia-progress-bar {
85
- height : 4px ;
86
- width : 3% ;
87
- animation : progress-animation 1.3s 0s infinite cubic-bezier (0.645 , 0.045 , 0.355 , 1 );
89
+ height : 4px ;
90
+ width : 3% ;
91
+ animation : progress-animation 1.3s 0s infinite
92
+ cubic-bezier (0.645 , 0.045 , 0.355 , 1 );
88
93
}
89
94
90
95
.theia-notification-item-progressbar {
91
- height : 4px ;
92
- width : 66% ;
96
+ height : 4px ;
97
+ width : 66% ;
93
98
}
94
99
95
100
.flex-line {
96
- display : flex;
97
- align-items : center;
98
- white-space : nowrap;
101
+ display : flex;
102
+ align-items : center;
103
+ white-space : nowrap;
99
104
}
100
105
101
106
.fa-reload {
102
- font-size : 14px ;
103
- }
107
+ font-size : 14px ;
108
+ }
0 commit comments