.container {
    display: flex;
}

#left-pane {
}

#right-pane {
    width: 100%;
    padding-left: 10px;
}

.outlined {
    outline: black solid thin;
}

.unselectable {
    /* Disable text selection */
    -webkit-touch-callout: none; /* iOS Safari */
    -webkit-user-select: none;   /* Chrome/Safari/Opera */
    -khtml-user-select: none;    /* Konqueror */
    -moz-user-select: none;      /* Firefox */
    -ms-user-select: none;       /* Internet Explorer/Edge */
    user-select: none;           /* Non-prefixed version, currently
                                    not supported by any browser */
}

span.label {
    font-size: larger;
    font-weight: bold;
    margin-right: 10px;
}

#mouse-pos {
    margin-left: 15px;
}

#editor {
    flex-grow: 1;
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 10px;
    padding-right: 10px;
}

#editor > div {
    padding-top: 10px;
    padding-bottom: 10px;
}

#editor > h2 {
    margin-top: 0px;
    margin-bottom: 0px;
}

#forms {
    width: 100%;
    min-height: 1em;
}

.form {
    padding: 5px 5px 5px 5px;
    cursor: pointer;
}

.drag-handle {
    background-color: DarkGrey;
    margin-right: 5px;
    padding: 0px 5px 0px 5px;
}

.form > button {
    float: right;
}

.selected-form {
    background-color: #ffff80;
}

.delete-form {
    color: red;
    margin-left: auto;
    vertical-align: center;
}

.docstring {
    background-color: #99ccff;
    margin: 0px 25px 0px 30px;
    padding-left: 5px;
}

#modify-forms {
    margin-top: 10px;
}

#modify-forms > .outlined {
    margin-right: 10px;
}

#modify-forms > div {
    padding: 5px 5px 5px 5px;
}

#modify-forms > div > button {
    margin-left: 10px;
}

#visual-buttons > button {
    margin-left: 5px;
}

#clear-code {
    background-color: red;
    margin-left: auto;
}

.editor > textarea {
    width: 100%;
    height: 100px;
}

#source-editor > div > button {
    margin-right: 5px;
}

#editor-type > select {
    margin-left: 10px;
    margin-right: 10px;
}

.editor-options-checkbox {
    margin-left: 10px;
}

#library > select {
    margin-left: 5px;
    margin-right: 5px;
}

#debug > h2 {
    margin-top: 0px;
    margin-bottom: 10px;
}

#lang > select {
    margin-left: 10px;
}