.file-header, .console-header {
    border-bottom: 3px solid var(--panel-border-grey);
}

.file-header {
    display: flex;
    align-items: center;
    gap: 3px;
}

.go-file-icon {
    width: 22px;
    height: 22px;
}

.editor {
    flex: 2;
    display: flex;
    min-height: 0;
}

.button-wrapper {
    display: flex;
}

.button {
    background-color: var(--black);

    font-size: var(--button-font-size);

    border: none;
    padding: 5px;
    width: 50%;

    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
    
    cursor: pointer;
}

.button:hover {
    background-color: var(--black-button-hover);
}

.button:active {
    background-color: var(--black-button-active);
}

#run-button {
    background-color: #18223b;
    border: 1.5px solid var(--white);
}

#run-button:hover {
    background-color: #1c2b4e;
}

#run-button:active {
    background-color: #23355d;
}

#run-button:disabled {
    background-color: var(--black);
    border: 1.5px solid var(--disabled-button-white);
    color: var(--disabled-button-white);
}

#terminate-button {
    border: 1.5px solid var(--red);
}

#terminate-button:disabled {
    background-color: var(--black);
    color: var(--disabled-button-white);
}

.button-icon {
    width: 18px;
    height: 18px;
}

.console {
    background-color: var(--black);
    scrollbar-color: #555 #1a1a1a;

    font-size: var(--small-font-size);
    font-weight: var(--small-font-weight);

    margin: 0;
    flex: 1;
    overflow-y: auto;
}

.console-error {
    color: var(--red);
}