@eclipse-glsp/theia-integration
Version:
Glue code to integrate GLSP clients into Eclipse Theia
60 lines (47 loc) • 1.75 kB
CSS
/********************************************************************************
* Copyright (c) 2024 EclipseSource 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
********************************************************************************/
/* Debug */
.debug-bounds-decoration {
stroke: var(--theia-editor-foreground);
}
/* Ghost element */
.sprotty-node.insert-indicator:not(.selected) {
stroke: var(--theia-editor-foreground);
}
/* Helper lines */
.helper-line {
stroke: var(--theia-focusBorder);
}
/* Grid */
:root {
--grid-color: color-mix(in srgb, var(--theia-editor-foreground) 10%, transparent);
}
.theia-dark .grid-background .sprotty-graph,
.theia-dark .grid-background.sprotty-graph {
--grid-color: rgba(255, 255, 255, 0.1);
}
.theia-light .grid-background .sprotty-graph,
.theia-light .grid-background.sprotty-graph {
--grid-color: rgba(0, 0, 0, 0.1);
}
.theia-hc .grid-background .sprotty-graph,
.theia-hc .grid-background.sprotty-graph {
--grid-color: rgba(255, 255, 255);
}
.theia-hcLight .grid-background .sprotty-graph,
.theia-hcLight .grid-background.sprotty-graph {
--grid-color: rgba(0, 0, 0);
}