html {
    width: 100%;
    height: 100%;
    font-family: Verdana, Geneva, Tahoma, sans-serif;
}

body {
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
    margin: 0;
    padding: 0;
}

#glsp-editor {
    display: grid;
    grid-template-columns: 2fr 3fr;
    grid-template-rows: min-content 1fr;
    width: 100%;
    height: 100%;
    gap: 8px;
}

#editor {
    display: grid;
    grid-template-rows: auto 1fr;
    gap: 4px;
    border: 1px solid #bbb;
}

#file-select {
    margin: 10px;
}

#view-selection {
    display: flex;
    border-bottom: 1px solid #bbb;
}

#file-select {
    flex: 1;
}

#compile-options {
    grid-column-start: 1;
    grid-column-end: 3;
    display: flex;
    margin-left: auto;
    margin-right: auto;
    margin-top: 8px;
    padding-left: 8px;
    padding-right: 8px;
    width: 1200px;
    max-width: 100%;
    align-items: center;
    gap: 8px;
}

.button {
    padding: 10px;
    border: 1px solid #bbb;
    cursor: pointer;
    user-select: none;
    text-align: center;
}

.button:hover {
    background-color: #999;
}

.button:active {
    background-color: #666;
}

#example-title {
    margin: 0;
}

#example-select {
    flex: 5;
    height: 100%;
}

#compile-button {
    flex: 2;
}

#compile-button:hover {
    background-color: #9effb4;
}

#compile-button:active {
    background-color: #2bff5b;
}

#reset-button {
    flex: 2;
}

#reset-button:hover {
    background-color: #ff9292;
}

#reset-button:active {
    background-color: #ff1616;
}