UNPKG

@theia/core

Version:

Theia is a cloud & desktop IDE framework implemented in TypeScript.

327 lines (276 loc) • 8.54 kB
/******************************************************************************** * 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 !important; top: 0 !important; bottom: 0 !important; left: 0 !important; right: 0 !important; width: auto !important; height: auto !important; z-index: 255 !important; background: var(--theia-editor-background); } .theia-visible-menu-maximized { top: var(--theia-private-menubar-height) !important; } .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) !important; } .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 !important; } .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';