@theia/core
Version:
Theia is a cloud & desktop IDE framework implemented in TypeScript.
327 lines (276 loc) • 8.54 kB
CSS
/********************************************************************************
* Copyright (C) 2017, 2018 TypeFox and others.
*
* This program and the accompanying materials are made available under the
* terms of the Eclipse Public License v. 2.0 which is available at
* http://www.eclipse.org/legal/epl-2.0.
*
* This Source Code may also be made available under the following Secondary
* Licenses when the conditions for such availability set forth in the Eclipse
* Public License v. 2.0 are satisfied: GNU General Public License, version 2
* with the GNU Classpath Exception which is available at
* https://www.gnu.org/software/classpath/license.html.
*
* SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
********************************************************************************/
@import url('~@phosphor/widgets/style/index.css');
@import url('~font-awesome/css/font-awesome.min.css');
/*-----------------------------------------------------------------------------
| General
|----------------------------------------------------------------------------*/
:root {
/* Borders: Width and color (dark to bright) */
--theia-border-width: 1px;
--theia-panel-border-width: 1px;
/* UI fonts: Family, size and color (bright to dark)
---------------------------------------------------
The UI font CSS variables are used for the typography all of the Theia
user interface elements that are not directly user-generated content.
*/
--theia-ui-font-scale-factor: 1.2;
--theia-ui-font-size0: calc(var(--theia-ui-font-size1) / var(--theia-ui-font-scale-factor));
--theia-ui-font-size1: 13px; /* Base font size */
--theia-ui-font-size2: calc(var(--theia-ui-font-size1) * var(--theia-ui-font-scale-factor));
--theia-ui-font-size3: calc(var(--theia-ui-font-size2) * var(--theia-ui-font-scale-factor));
--theia-ui-icon-font-size: 14px; /* Ensures px perfect FontAwesome icons */
--theia-ui-font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
/* Content fonts: Family, size and color (bright to dark)
Content font variables are used for typography of user-generated content.
*/
--theia-content-font-size: 13px;
--theia-content-line-height: 22px;
--theia-code-font-size: 13px;
--theia-code-line-height: 17px;
--theia-code-padding: 5px;
--theia-code-font-family: Menlo, Monaco, Consolas, "Droid Sans Mono", "Courier New", monospace, "Droid Sans Fallback";
--theia-monospace-font-family: monospace;
--theia-ui-padding: 6px;
/* Icons */
--theia-icon-size: 16px;
/* Scrollbars */
--theia-scrollbar-width: 10px;
--theia-scrollbar-rail-width: 10px;
/* Statusbar */
--theia-statusBar-font-size: 12px;
/* Opacity for disabled mod */
--theia-mod-disabled-opacity: 0.4;
}
body {
margin: 0;
padding: 0;
overflow: hidden;
font-family: var(--theia-ui-font-family);
background: var(--theia-editor-background);
color: var(--theia-foreground);
border: 1px solid var(--theia-window-activeBorder);
}
body:window-inactive,
body:-moz-window-inactive {
border-color: var(--theia-window-inactiveBorder);
}
a {
color: var(--theia-textLink-foreground);
}
a:active, a:hover {
color: var(--theia-textLink-activeForeground);
}
code {
color: var(--theia-textPreformat-foreground);
}
blockquote {
margin: 0 7px 0 5px;
padding: 0px 16px 0px 10px;
background: var(--theia-textBlockQuote-background);
border-left: 5px solid var(--theia-textBlockQuote-border);
}
.theia-input {
background: var(--theia-input-background);
color: var(--theia-input-foreground);
border: var(--theia-border-width) solid var(--theia-input-border);
font-family: var(--theia-ui-font-family);
font-size: var(--theia-ui-font-size1);
line-height: var(--theia-content-line-height);
padding-left: 5px;
}
.theia-input::placeholder {
color: var(--theia-input-placeholderForeground);
}
.theia-maximized {
position: fixed ;
top: 0 ;
bottom: 0 ;
left: 0 ;
right: 0 ;
width: auto ;
height: auto ;
z-index: 255 ;
background: var(--theia-editor-background);
}
.theia-visible-menu-maximized {
top: var(--theia-private-menubar-height) ;
}
.theia-ApplicationShell {
position: absolute;
top: 0;
left: 0;
right: 0;
bottom: 0;
background: var(--theia-editor-background);
}
.theia-preload {
position: absolute;
top: 0;
left: 0;
right: 0;
bottom: 0;
z-index: 50000;
background: var(--theia-editor-background);
background-size: 60px 60px;
background-repeat: no-repeat;
background-attachment: fixed;
background-position: center;
transition: opacity 0.8s;
display: flex;
justify-content: center;
align-items: center;
}
.theia-preload::after {
animation: 1s theia-preload-rotate infinite;
color: #777; /* color works on both light and dark themes */
content: "\eb19"; /* codicon-load */
font: normal normal normal 72px/1 codicon;
}
@keyframes theia-preload-rotate {
0% {
transform: rotate(0deg);
}
100% {
transform: rotate(360deg);
}
}
.theia-preload.theia-hidden {
opacity: 0;
}
.theia-icon {
width: 32px;
height: 18px;
margin: 5px;
margin-left: 8px;
}
.theia-mod-disabled, .theia-mod-disabled:focus {
opacity: var(--theia-mod-disabled-opacity) ;
}
.theia-header {
text-transform: uppercase;
font-size: var(--theia-ui-font-size0);
font-weight: 700;
}
.p-Widget {
font-size: var(--theia-ui-font-size1);
}
.p-Widget.p-mod-hidden {
display: none ;
}
.noselect,
.no-select {
-webkit-touch-callout: none; /* iOS Safari */
-webkit-user-select: none; /* Safari */
-khtml-user-select: none; /* Konqueror HTML */
-moz-user-select: none; /* Firefox */
-ms-user-select: none; /* Internet Explorer/Edge */
user-select: none; /* Non-prefixed version, currently
supported by Chrome and Opera */
-o-user-select: none;
}
:focus {
outline-width: 1px;
outline-style: solid;
outline-offset: -1px;
opacity: 1;
outline-color: var(--theia-focusBorder);
}
::selection {
background: var(--theia-selection-background);
}
.action-label {
padding: 2px;
border-radius: 5px;
cursor: pointer;
}
.action-label:hover {
background-color: var(--theia-toolbar-hoverBackground);
}
.theia-button {
border: none;
color: var(--theia-button-foreground);
min-width: 65px;
outline: none;
cursor: pointer;
padding: 4px 9px;
margin-left: calc(var(--theia-ui-padding)*2);
}
.theia-button:focus {
outline: 1px solid var(--theia-focusBorder);
outline-offset: 1px;
}
.theia-button.secondary {
color: var(--theia-secondaryButton-foreground);
}
.theia-button[disabled] {
opacity: 0.6;
color: var(--theia-button-disabledForeground);
background-color: var(--theia-button-disabledBackground);
cursor: default;
}
button.secondary[disabled], .theia-button.secondary[disabled] {
color: var(--theia-secondaryButton-disabledForeground);
background-color: var(--theia-secondaryButton-disabledBackground);
}
.theia-select {
color: var(--dropdown-foreground);
font-size: var(--theia-ui-font-size1);
border-radius: 0;
border: 1px solid var(--theia-dropdown-border);
background: var(--theia-dropdown-background);
outline: none;
cursor: pointer;
}
.theia-select option {
background: var(--theia-dropdown-listBackground);
}
.theia-transparent-overlay {
background-color: transparent;
position: absolute;
top: 0;
left: 0;
height: 100%;
width: 100%;
z-index: 999;
}
.theia-cursor-no-drop, .theia-cursor-no-drop:active {
cursor: no-drop;
}
/*-----------------------------------------------------------------------------
| Import children style files
|----------------------------------------------------------------------------*/
@import './dockpanel.css';
@import './dialog.css';
@import './menus.css';
@import './sidepanel.css';
@import './tabs.css';
@import './scrollbars.css';
@import './tree.css';
@import './status-bar.css';
@import './tree-decorators.css';
@import './about.css';
@import './search-box.css';
@import './ansi.css';
@import './view-container.css';
@import './notification.css';
@import './alert-messages.css';
@import './icons.css';
@import './widget.css';
@import './quick-title-bar.css';
@import './progress-bar.css';
@import './breadcrumbs.css';
@import './tooltip.css';