blob: e9d2c253faffed641419226c73f351c9e8d688fd [file] [log] [blame]
html {
height: 100%;
}
body {
color: black;
padding: 0;
margin: 0;
width: 100%;
height: 100%;
}
a {
color: #009;
}
#wrap,
#about {
padding: 5px;
margin: 0;
position: absolute;
top: 50px;
bottom: 25%;
left: 0;
right: 0;
background: #FFD;
}
#about {
display: none;
z-index: 1;
padding: 10px 40px;
font-size: 16px;
font-family: sans-serif;
overflow: auto;
}
#about p {
max-width: 520px;
}
#about ul {
max-width: 480px;
}
#about li {
margin-bottom: 1em;
}
#code, #output, pre, .lines {
/* The default monospace font on OS X is ugly, so specify Menlo
* instead. On other systems the default monospace font will be used. */
font-family: Menlo, monospace;
font-size: 11pt;
}
#code {
color: black;
background: inherit;
width: 100%;
height: 100%;
padding: 0; margin: 0;
border: none;
outline: none;
resize: none;
wrap: off;
float: right;
}
#output {
position: absolute;
top: 75%;
bottom: 0;
left: 0;
right: 0;
padding: 8px;
}
#output .system, #output .loading {
color: #999;
}
#output .stderr, #output .error {
color: #900;
}
#output pre {
margin: 0;
}
#banner {
display: flex;
flex-wrap: wrap;
align-items: center;
position: absolute;
left: 0;
right: 0;
top: 0;
height: 50px;
background-color: #E0EBF5;
}
#banner > * {
margin-top: 10px;
margin-bottom: 10px;
margin-right: 5px;
border-radius: 5px;
box-sizing: border-box;
height: 30px;
}
#head {
padding-left: 10px;
padding-right: 20px;
padding-top: 5px;
font-size: 20px;
font-family: sans-serif;
}
#aboutButton {
margin-left: auto;
margin-right: 15px;
}
input[type=button],
#importsBox {
height: 30px;
border: 1px solid #375EAB;
font-size: 16px;
font-family: sans-serif;
background: #375EAB;
color: white;
position: static;
top: 1px;
border-radius: 5px;
-webkit-appearance: none;
}
#importsBox {
padding: 0.25em 7px;
}
#importsBox input {
flex: none;
height: 11px;
width: 11px;
margin: 0 5px 0 0;
}
#importsBox label {
display: flex;
align-items: center;
line-height: 1.2;
}
#shareURL {
width: 280px;
font-size: 16px;
border: 1px solid #ccc;
background: #eee;
color: black;
}
#embedLabel {
font-family: sans-serif;
padding-top: 5px;
}
#banner > select {
font-size: 0.875rem;
border: 0.0625rem solid #375EAB;
}
.lines {
float: left;
overflow: hidden;
text-align: right;
}
.lines div {
padding-right: 5px;
color: lightgray;
}
.lineerror {
color: red;
background: #FDD;
}
.exit {
color: lightgray;
}
.embedded #banner {
display: none;
}
.embedded #wrap {
top: 0;
}
#embedRun {
display: none;
}
.embedded #embedRun {
display: block;
position: absolute;
z-index: 1;
top: 10px;
right: 10px;
}