@import './list-widget.css'; @import './boards-config-dialog.css'; @import './main.css'; @import './dialogs.css'; @import './monitor.css'; @import './arduino-select.css'; @import './status-bar.css'; @import './terminal.css'; @import './editor.css'; @import './settings-dialog.css'; @import './firmware-uploader-dialog.css'; @import './ide-updater-dialog.css'; @import './certificate-uploader-dialog.css'; @import './user-fields-dialog.css'; @import './debug.css'; @import './sketchbook.css'; @import './cloud-sketchbook.css'; @import './fonts.css'; @import './custom-codicon.css'; @import './progress-bar.css'; .theia-input.warning:focus { outline-width: 1px; outline-style: solid; outline-offset: -1px; opacity: 1 !important; color: var(--theia-warningForeground); background-color: var(--theia-warningBackground); } .theia-input.warning { background-color: var(--theia-warningBackground); } .theia-input.warning::placeholder { /* Chrome, Firefox, Opera, Safari 10.1+ */ color: var(--theia-warningForeground); background-color: var(--theia-warningBackground); opacity: 1; /* Firefox */ } .theia-input.warning:-ms-input-placeholder { /* Internet Explorer 10-11 */ color: var(--theia-warningForeground); background-color: var(--theia-warningBackground); } .theia-input.warning::-ms-input-placeholder { /* Microsoft Edge */ color: var(--theia-warningForeground); background-color: var(--theia-warningBackground); } /* Makes the sidepanel a bit wider when opening the widget */ .p-DockPanel-widget { min-width: 200px; min-height: 200px; } /* Overrule the default Theia CSS button styles. */ button.theia-button, .theia-button { border: 1px solid var(--theia-dropdown-border); } button.theia-button:hover, .theia-button:hover { border: 1px solid var(--theia-focusBorder); } button.theia-button { height: 31px; } button.theia-button.secondary { background-color: var(--theia-secondaryButton-background); color: var(--theia-secondaryButton-foreground); } button.theia-button.main { color: var(--theia-button-foreground); } /* To make the progress-bar slightly thicker, and use the color from the status bar */ .theia-progress-bar-container { width: 100%; height: 4px; } .theia-progress-bar { height: 4px; width: 3%; animation: progress-animation 1.3s 0s infinite cubic-bezier(0.645, 0.045, 0.355, 1); } .theia-notification-item-progressbar { height: 4px; width: 66%; } .flex-line { display: flex; align-items: center; white-space: nowrap; } .fa-reload { font-size: 14px; } /* restore the old Theia spinner */ /* https://github.com/eclipse-theia/theia/pull/10761#issuecomment-1131476318 */ .old-theia-preload { position: absolute; top: 0; left: 0; right: 0; bottom: 0; z-index: 50000; background: var(--theia-editor-background); background-image: var(--theia-preloader); background-size: 60px 60px; background-repeat: no-repeat; background-attachment: fixed; background-position: center; transition: opacity 0.8s; }