2ed4bb1c8f
- Use the "Chrome" theme - Hide the gutter - Don't highlight the active line - Remove default iframe borders - Focus the editor on window open Ace instances (e.g., Scaffold) are now responsible for setting their own theme (to avoid a flash of Monokai before a lighter theme appears).
81 lines
960 B
CSS
81 lines
960 B
CSS
body {
|
|
font-family: Helvetica, sans-serif;
|
|
margin: 0;
|
|
height: 100%;
|
|
}
|
|
|
|
nav {
|
|
padding: 8px 5px 5px;
|
|
height: 25px;
|
|
}
|
|
|
|
button {
|
|
font-size: 15px;
|
|
}
|
|
|
|
#help-button {
|
|
margin-left: 15px;
|
|
}
|
|
|
|
#run-label {
|
|
margin-left: 2px;
|
|
font-size: 12px;
|
|
}
|
|
|
|
main {
|
|
display: flex;
|
|
justify-content: stretch;
|
|
height: calc(100% - 38px);
|
|
}
|
|
|
|
.textbox-container {
|
|
display: flex;
|
|
flex-direction: column;
|
|
align-items: stretch;
|
|
flex-grow: 1;
|
|
padding: 10px;
|
|
}
|
|
|
|
.textbox-header {
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: space-between;
|
|
line-height: 1.5;
|
|
}
|
|
|
|
.textbox-label {
|
|
font-size: 15px;
|
|
}
|
|
|
|
#run-as-async-label {
|
|
font-size: 13px;
|
|
}
|
|
|
|
label {
|
|
flex-grow: 0;
|
|
}
|
|
|
|
input[type=checkbox] {
|
|
margin-top: 0;
|
|
margin-bottom: 0;
|
|
}
|
|
|
|
iframe {
|
|
border: 1px solid gray;
|
|
}
|
|
|
|
iframe, textarea {
|
|
flex-grow: 1;
|
|
margin: 5px 0;
|
|
font-family: Monaco, Consolas, Inconsolata, monospace;
|
|
font-size: 12px;
|
|
resize: none;
|
|
}
|
|
|
|
textarea.error {
|
|
color: red;
|
|
}
|
|
|
|
.editor-code {
|
|
flex: 1;
|
|
}
|