You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
108 lines
1.3 KiB
CSS
108 lines
1.3 KiB
CSS
html {
|
|
background-color: black;
|
|
color: white;
|
|
margin: 0;
|
|
padding: 0;
|
|
font-family: sans-serif;
|
|
}
|
|
|
|
.layout {
|
|
width: 100%;
|
|
min-height: 100%;
|
|
/* position: absolute;
|
|
top: 0;
|
|
bottom: 0;
|
|
left: 0;
|
|
right: 0; */
|
|
display: grid;
|
|
grid-template-rows: auto 1fr;
|
|
}
|
|
|
|
.editor {
|
|
display: grid;
|
|
grid-template-columns: 3fr 3fr 2fr;
|
|
}
|
|
|
|
.ast {
|
|
overflow: auto;
|
|
}
|
|
|
|
.ast pre {
|
|
font-size: 16px;
|
|
}
|
|
|
|
.code, .ast {
|
|
border-right: 1px solid gray;
|
|
}
|
|
|
|
.ast, .options, .result {
|
|
padding: 15px 20px;
|
|
}
|
|
|
|
.result {
|
|
border-bottom: 1px solid gray;
|
|
overflow-x: auto;
|
|
}
|
|
|
|
.result pre {
|
|
font-size: 16px;
|
|
white-space: pre-wrap;
|
|
}
|
|
|
|
.failed {
|
|
opacity: 70%;
|
|
}
|
|
|
|
textarea, .code pre {
|
|
tab-size: 4;
|
|
-moz-tab-size: 4;
|
|
}
|
|
|
|
.error {
|
|
position: absolute;
|
|
right: 0;
|
|
bottom: 0;
|
|
background-color: rgb(90, 0, 0);
|
|
padding: 1em;
|
|
max-height: 50%;
|
|
max-width: 50%;
|
|
overflow: auto;
|
|
}
|
|
|
|
.error strong {
|
|
border-bottom: 1px solid white;
|
|
}
|
|
|
|
.errorMessage {
|
|
font-size: 16px;
|
|
/* font-weight: bold; */
|
|
}
|
|
|
|
.errorStack {
|
|
font-size: 14px;
|
|
}
|
|
|
|
h1 {
|
|
font-size: 1.2em;
|
|
margin-top: 0;
|
|
}
|
|
|
|
.optimizerOption {
|
|
margin: .3em 0;
|
|
}
|
|
|
|
.optimizerOption input {
|
|
vertical-align: text-top;
|
|
}
|
|
|
|
.optimizerOption label {
|
|
font-size: .9em;
|
|
margin-left: .5em;
|
|
}
|
|
|
|
.optimizerOption label .time {
|
|
display: inline-block;
|
|
font-weight: bold;
|
|
min-width: 3.7em;
|
|
}
|