.code-editor-heading { display: flex; } .code-editor-heading .renameable { flex-grow: 2; } .code-editor-heading .renameable .text { padding-right: 10px; } .code-editor-heading .buttons-right { display: flex; justify-content: flex-end; } .code-editor .toolbar { display: flex; justify-content: flex-start; width: 100%; } .code-editor .editor { display: flex; width: 100%; } .code-editor .editor .code-area { flex-grow: 1; max-height: 200px; min-width: 25%; overflow: auto; } .code-editor .editor .code-area .code-container { background-color: #fafafa; box-sizing: border-box; position: relative; font-family: Fira code, Fira Mono, Consolas, Menlo, Courier, monospace; font-size: 12px; font-variant-ligatures: common-ligatures; line-height: 1.5; overflow: hidden; padding: 0px; text-align: left; } .code-editor .editor .code-area .code-container textarea { border: 0px; color: inherit; position: absolute; left: 0px; top: 0px; resize: none; height: 100%; overflow: hidden; width: 100%; -webkit-text-fill-color: transparent; box-sizing: inherit; display: inherit; margin: 0px; padding: 10px; overflow-wrap: break-word; white-space: pre-wrap; word-break: keep-all; font-family: inherit; font-size: inherit; font-style: inherit; font-variant-ligatures: inherit; font-weight: inherit; letter-spacing: inherit; line-height: inherit; text-indent: inherit; text-rendering: inherit; text-transform: inherit; } .code-editor .editor .code-area .code-container pre { background: rgba(0, 0, 0, 0) none repeat scroll 0% 0%; border: 0px none; color: #000; pointer-events: none; position: relative; box-sizing: inherit; display: inherit; margin: 0px; padding: 10px; overflow-wrap: break-word; white-space: pre-wrap; word-break: keep-all; font-family: inherit; font-size: inherit; font-style: inherit; font-variant-ligatures: inherit; font-weight: inherit; letter-spacing: inherit; line-height: inherit; text-indent: inherit; text-rendering: inherit; text-transform: inherit; } .code-editor .editor .v-divider { border-left: 1px solid gray; cursor: sw-resize; height: 100%; margin-left: 5px; margin-right: 5px; width: 1px; } .code-editor .editor .html { flex-grow: 2; margin-left: 25px; padding-left: 25px; } .code-editor .editor .html.language-haskell { font-family: Fira code, Fira Mono, Consolas, Menlo, Courier, monospace; white-space: pre; } .code-editor .editor .html.language-json { font-family: Fira code, Fira Mono, Consolas, Menlo, Courier, monospace; white-space: pre; } .code-editor .editor .html.language-md ul li { list-style: disc !important; } .code-editor .editor .html.language-md ol li { list-style: decimal !important; } /*# sourceMappingURL=CodeEditor.css.map */