UNPKG

8.54 kBCSSView Raw
1/********************************************************************************
2 * Copyright (C) 2017, 2018 TypeFox and others.
3 *
4 * This program and the accompanying materials are made available under the
5 * terms of the Eclipse Public License v. 2.0 which is available at
6 * http://www.eclipse.org/legal/epl-2.0.
7 *
8 * This Source Code may also be made available under the following Secondary
9 * Licenses when the conditions for such availability set forth in the Eclipse
10 * Public License v. 2.0 are satisfied: GNU General Public License, version 2
11 * with the GNU Classpath Exception which is available at
12 * https://www.gnu.org/software/classpath/license.html.
13 *
14 * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
15 ********************************************************************************/
16
17@import url('~@phosphor/widgets/style/index.css');
18@import url('~font-awesome/css/font-awesome.min.css');
19
20/*-----------------------------------------------------------------------------
21| General
22|----------------------------------------------------------------------------*/
23
24:root {
25
26 /* Borders: Width and color (dark to bright) */
27
28 --theia-border-width: 1px;
29 --theia-panel-border-width: 1px;
30
31
32 /* UI fonts: Family, size and color (bright to dark)
33 ---------------------------------------------------
34 The UI font CSS variables are used for the typography all of the Theia
35 user interface elements that are not directly user-generated content.
36 */
37
38 --theia-ui-font-scale-factor: 1.2;
39 --theia-ui-font-size0: calc(var(--theia-ui-font-size1) / var(--theia-ui-font-scale-factor));
40 --theia-ui-font-size1: 13px; /* Base font size */
41 --theia-ui-font-size2: calc(var(--theia-ui-font-size1) * var(--theia-ui-font-scale-factor));
42 --theia-ui-font-size3: calc(var(--theia-ui-font-size2) * var(--theia-ui-font-scale-factor));
43 --theia-ui-icon-font-size: 14px; /* Ensures px perfect FontAwesome icons */
44 --theia-ui-font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
45
46 /* Content fonts: Family, size and color (bright to dark)
47 Content font variables are used for typography of user-generated content.
48 */
49
50 --theia-content-font-size: 13px;
51 --theia-content-line-height: 22px;
52
53 --theia-code-font-size: 13px;
54 --theia-code-line-height: 17px;
55 --theia-code-padding: 5px;
56 --theia-code-font-family: Menlo, Monaco, Consolas, "Droid Sans Mono", "Courier New", monospace, "Droid Sans Fallback";
57 --theia-monospace-font-family: monospace;
58 --theia-ui-padding: 6px;
59
60 /* Icons */
61 --theia-icon-size: 16px;
62
63 /* Scrollbars */
64 --theia-scrollbar-width: 10px;
65 --theia-scrollbar-rail-width: 10px;
66
67 /* Statusbar */
68 --theia-statusBar-font-size: 12px;
69
70 /* Opacity for disabled mod */
71 --theia-mod-disabled-opacity: 0.4;
72}
73
74body {
75 margin: 0;
76 padding: 0;
77 overflow: hidden;
78 font-family: var(--theia-ui-font-family);
79 background: var(--theia-editor-background);
80 color: var(--theia-foreground);
81 border: 1px solid var(--theia-window-activeBorder);
82}
83body:window-inactive,
84body:-moz-window-inactive {
85 border-color: var(--theia-window-inactiveBorder);
86}
87
88a {
89 color: var(--theia-textLink-foreground);
90}
91
92a:active, a:hover {
93 color: var(--theia-textLink-activeForeground);
94}
95
96code {
97 color: var(--theia-textPreformat-foreground);
98}
99
100blockquote {
101 margin: 0 7px 0 5px;
102 padding: 0px 16px 0px 10px;
103 background: var(--theia-textBlockQuote-background);
104 border-left: 5px solid var(--theia-textBlockQuote-border);
105}
106
107.theia-input {
108 background: var(--theia-input-background);
109 color: var(--theia-input-foreground);
110 border: var(--theia-border-width) solid var(--theia-input-border);
111 font-family: var(--theia-ui-font-family);
112 font-size: var(--theia-ui-font-size1);
113 line-height: var(--theia-content-line-height);
114 padding-left: 5px;
115}
116
117.theia-input::placeholder {
118 color: var(--theia-input-placeholderForeground);
119}
120
121.theia-maximized {
122 position: fixed !important;
123 top: 0 !important;
124 bottom: 0 !important;
125 left: 0 !important;
126 right: 0 !important;
127 width: auto !important;
128 height: auto !important;
129 z-index: 255 !important;
130 background: var(--theia-editor-background);
131}
132
133.theia-visible-menu-maximized {
134 top: var(--theia-private-menubar-height) !important;
135}
136
137.theia-ApplicationShell {
138 position: absolute;
139 top: 0;
140 left: 0;
141 right: 0;
142 bottom: 0;
143 background: var(--theia-editor-background);
144}
145
146.theia-preload {
147 position: absolute;
148 top: 0;
149 left: 0;
150 right: 0;
151 bottom: 0;
152 z-index: 50000;
153 background: var(--theia-editor-background);
154 background-size: 60px 60px;
155 background-repeat: no-repeat;
156 background-attachment: fixed;
157 background-position: center;
158 transition: opacity 0.8s;
159 display: flex;
160 justify-content: center;
161 align-items: center;
162}
163
164.theia-preload::after {
165 animation: 1s theia-preload-rotate infinite;
166 color: #777; /* color works on both light and dark themes */
167 content: "\eb19"; /* codicon-load */
168 font: normal normal normal 72px/1 codicon;
169}
170
171@keyframes theia-preload-rotate {
172 0% {
173 transform: rotate(0deg);
174 }
175 100% {
176 transform: rotate(360deg);
177 }
178}
179
180.theia-preload.theia-hidden {
181 opacity: 0;
182}
183
184.theia-icon {
185 width: 32px;
186 height: 18px;
187 margin: 5px;
188 margin-left: 8px;
189}
190
191.theia-mod-disabled, .theia-mod-disabled:focus {
192 opacity: var(--theia-mod-disabled-opacity) !important;
193}
194
195.theia-header {
196 text-transform: uppercase;
197 font-size: var(--theia-ui-font-size0);
198 font-weight: 700;
199}
200
201.p-Widget {
202 font-size: var(--theia-ui-font-size1);
203}
204
205.p-Widget.p-mod-hidden {
206 display: none !important;
207}
208
209.noselect,
210.no-select {
211 -webkit-touch-callout: none; /* iOS Safari */
212 -webkit-user-select: none; /* Safari */
213 -khtml-user-select: none; /* Konqueror HTML */
214 -moz-user-select: none; /* Firefox */
215 -ms-user-select: none; /* Internet Explorer/Edge */
216 user-select: none; /* Non-prefixed version, currently
217 supported by Chrome and Opera */
218 -o-user-select: none;
219}
220
221:focus {
222 outline-width: 1px;
223 outline-style: solid;
224 outline-offset: -1px;
225 opacity: 1;
226 outline-color: var(--theia-focusBorder);
227}
228
229::selection {
230 background: var(--theia-selection-background);
231}
232
233.action-label {
234 padding: 2px;
235 border-radius: 5px;
236 cursor: pointer;
237}
238
239.action-label:hover {
240 background-color: var(--theia-toolbar-hoverBackground);
241}
242
243.theia-button {
244 border: none;
245 color: var(--theia-button-foreground);
246 min-width: 65px;
247 outline: none;
248 cursor: pointer;
249 padding: 4px 9px;
250 margin-left: calc(var(--theia-ui-padding)*2);
251}
252
253.theia-button:focus {
254 outline: 1px solid var(--theia-focusBorder);
255 outline-offset: 1px;
256}
257
258.theia-button.secondary {
259 color: var(--theia-secondaryButton-foreground);
260}
261
262.theia-button[disabled] {
263 opacity: 0.6;
264 color: var(--theia-button-disabledForeground);
265 background-color: var(--theia-button-disabledBackground);
266 cursor: default;
267}
268
269button.secondary[disabled], .theia-button.secondary[disabled] {
270 color: var(--theia-secondaryButton-disabledForeground);
271 background-color: var(--theia-secondaryButton-disabledBackground);
272}
273
274.theia-select {
275 color: var(--dropdown-foreground);
276 font-size: var(--theia-ui-font-size1);
277 border-radius: 0;
278 border: 1px solid var(--theia-dropdown-border);
279 background: var(--theia-dropdown-background);
280 outline: none;
281 cursor: pointer;
282}
283
284.theia-select option {
285 background: var(--theia-dropdown-listBackground);
286}
287
288.theia-transparent-overlay {
289 background-color: transparent;
290 position: absolute;
291 top: 0;
292 left: 0;
293 height: 100%;
294 width: 100%;
295 z-index: 999;
296}
297
298.theia-cursor-no-drop, .theia-cursor-no-drop:active {
299 cursor: no-drop;
300}
301
302/*-----------------------------------------------------------------------------
303| Import children style files
304|----------------------------------------------------------------------------*/
305
306@import './dockpanel.css';
307@import './dialog.css';
308@import './menus.css';
309@import './sidepanel.css';
310@import './tabs.css';
311@import './scrollbars.css';
312@import './tree.css';
313@import './status-bar.css';
314@import './tree-decorators.css';
315@import './about.css';
316@import './search-box.css';
317@import './ansi.css';
318@import './view-container.css';
319@import './notification.css';
320@import './alert-messages.css';
321@import './icons.css';
322@import './widget.css';
323@import './quick-title-bar.css';
324@import './progress-bar.css';
325@import './breadcrumbs.css';
326@import './tooltip.css';