110 lines
1.4 KiB
CSS
110 lines
1.4 KiB
CSS
div, h1, h2, h3, h4, h5, pre, code, p {
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
h1, h2, h3, h4, h5 {
|
|
margin-top: 1.2em;
|
|
margin-bottom: 0.6em;
|
|
}
|
|
|
|
input {
|
|
outline: none;
|
|
}
|
|
|
|
h1 {
|
|
margin-top: 0.7em;
|
|
}
|
|
|
|
p {
|
|
margin-top: 0.4em;
|
|
margin-bottom: 0.4em;
|
|
}
|
|
|
|
body {
|
|
font-family: monospace;
|
|
font-size: 100%;
|
|
line-height: 1.4;
|
|
color: #000;
|
|
}
|
|
|
|
td {
|
|
padding: 0 1em 0 1em;
|
|
margin: 0 0em 0 0em;
|
|
text-align: right;
|
|
}
|
|
|
|
input[type=button] {
|
|
background-color: #e7e7e7;
|
|
border-style: solid;
|
|
border-radius: 6px;
|
|
border-color: #e0e0e0;
|
|
border-width: 2px;
|
|
text-decoration: none;
|
|
color: #000;
|
|
padding: 5px 18px;
|
|
cursor: pointer;
|
|
}
|
|
|
|
input[type=button] {
|
|
margin-top: 1.4em;
|
|
}
|
|
|
|
input[type=button].loading {
|
|
background-color: #e7d0d0;
|
|
}
|
|
|
|
input[type=button].loaded {
|
|
border-color: #c0e7c0;
|
|
}
|
|
|
|
input[type=button].run_example_button {
|
|
border-color: #b0e7b0;
|
|
}
|
|
|
|
input[type=button].running {
|
|
border-color: #e7b0b0;
|
|
}
|
|
|
|
code#output {
|
|
display: block;
|
|
min-height: 20em;
|
|
}
|
|
|
|
p#load_status {
|
|
margin-top: 0em;
|
|
}
|
|
|
|
p.buttonrow {
|
|
--position: fixed;
|
|
--margin-top: 20px;
|
|
}
|
|
|
|
div#footer {
|
|
width: 2em;
|
|
height: 6em;
|
|
}
|
|
|
|
.prejson {
|
|
font-family: monospace;
|
|
white-space: pre;
|
|
}
|
|
|
|
.bytesTB {
|
|
color: #8b1f8e;
|
|
}
|
|
|
|
.bytesGB {
|
|
color: #952300;
|
|
}
|
|
|
|
.bytesMB {
|
|
--ccolor: #255111;
|
|
color: #12697d;
|
|
}
|
|
|
|
.highlight_error {
|
|
color: red;
|
|
font-weight: bold;
|
|
}
|