sprotty-theia/css/theia-sprotty.css

Glue code for Sprotty diagrams in a Theia IDE

/********************************************************************************
 * 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
 ********************************************************************************/

.sprotty {
    display: flex;
    height:100%;
}

.sprotty svg {
    width: 100%;
    flex: 1;
    border-style: solid;
    border-width: 0px;
}

.sprotty svg:focus {
    border-width: 0;
    outline: none;
}

.sprotty-status {
    position: absolute;
    top: 5px;
    left: 10px;
    display: flex;
    align-items: center;
}

.sprotty-status .fatal {
    color: var(--theia-inputValidation-errorBorder)
}

.sprotty-status .error {
    color: var(--theia-errorForeground)
}

.sprotty-status .warning {
    color: var(--theia-editorWarning-foreground)
}

.sprotty-status .info { 
    color: var(--theia-editorInfo-foreground)
}

.sprotty-error {
    fill: var(--theia-inputValidation-errorBackground);
    color: var(--theia-errorForeground);
}

.sprotty-warning {
    fill: var(--theia-inputValidation-warningBackground);
    color: var(--theia-editorWarning-foreground);
}

.sprotty-info {
    fill: var(--theia-info-color0);
    color: var(--theia-inputValidation-infoBackground);
}

.sprotty-infoRow .codicon {
    margin-right: 8px;
}
.sprotty-status .ok {
    visibility: hidden;
}

.sprotty-status-message {
    visibility: hidden;
    padding-left: 10px;
}

.sprotty-status-message.fatal {
    visibility: visible;
    padding-left: 10px;
}

.sprotty-status:hover .sprotty-status-message {
    visibility: visible;
}

.sprotty-popup {
    position: absolute;
    background: #FFE9BE;
	color: black;
    border-radius: 0px;
    border: none;
    max-width: initial;
    min-width: initial;
    z-index: 1;
    padding: 8px;
}

.sprotty-infoRow {
    font-size: small;
    margin-bottom: 8px;
}

.sprotty-infoTitle {
    display: block;
    font-weight: bold;
}

.sprotty-edge > .sprotty-routing-handle {
    r: 5px;
    fill: var(--theia-foreground);
    stroke: none;
    z-index: 1000;
}

.sprotty-edge > .sprotty-routing-handle[data-kind='line'] {
    opacity: 0.35;
}

.sprotty-edge > .sprotty-routing-handle.selected {
    fill: var(--theia-button-background);
}

.sprotty-edge > .sprotty-routing-handle.mouseover {
    stroke: var(--theia-button-hoverBackground);
    stroke-width: 1;
}

.sprotty-edge.mouseover:not(.selected) {
    stroke-width: 3px;
}