2023-07-10 12:36:31 -05:00
|
|
|
body {
|
|
|
|
background-color: #09343f;
|
|
|
|
color: #b6b6b6;
|
|
|
|
font-family: monospace;
|
|
|
|
font-size: 12pt;
|
|
|
|
margin: 1em;
|
|
|
|
}
|
|
|
|
a {
|
|
|
|
color: #c6f4ff;
|
|
|
|
}
|
|
|
|
a:visited {
|
|
|
|
color: #85b7c3;
|
|
|
|
}
|
|
|
|
.box {
|
|
|
|
width: fit-content;
|
|
|
|
}
|
|
|
|
.box .name {
|
|
|
|
width: 15em;
|
|
|
|
font-weight: bold;
|
|
|
|
text-align: right;
|
|
|
|
margin-right: 6pt;
|
|
|
|
}
|
|
|
|
.box .value {
|
|
|
|
width: fit-content;
|
|
|
|
}
|
|
|
|
.flex {
|
|
|
|
display: flex;
|
|
|
|
}
|
|
|
|
.monospace {
|
|
|
|
font-family: monospace;
|
|
|
|
}
|
|
|
|
.dim {
|
|
|
|
opacity: 0.25;
|
|
|
|
}
|
|
|
|
.padded {
|
|
|
|
padding: 20px;
|
|
|
|
}
|
|
|
|
.top-rail {
|
|
|
|
position: sticky;
|
|
|
|
top: 0;
|
|
|
|
left: 0;
|
|
|
|
width: 100%;
|
|
|
|
height: 0;
|
|
|
|
}
|
|
|
|
.scene-controls {
|
|
|
|
position: relative;
|
2023-07-11 21:02:22 -05:00
|
|
|
left: 15em;
|
|
|
|
top: -1em;
|
2023-07-10 12:36:31 -05:00
|
|
|
}
|
|
|
|
svg {
|
|
|
|
width: 800px;
|
|
|
|
}
|
|
|
|
th {
|
|
|
|
text-align: left;
|
|
|
|
padding: 10px;
|
|
|
|
}
|
|
|
|
td {
|
|
|
|
background-color: #0c2025;
|
|
|
|
}
|
|
|
|
.edge > rect {
|
|
|
|
fill: #216262 !important;
|
|
|
|
}
|
|
|
|
button {
|
|
|
|
margin: 5px;
|
|
|
|
margin-top: 1em;
|
|
|
|
background-color: #c6f4ff;
|
|
|
|
border-color: #b6b6b6;
|
|
|
|
border-radius: 5px;
|
|
|
|
}
|
|
|
|
button:disabled {
|
|
|
|
background-color: #2a535e;
|
|
|
|
color: #919191;
|
|
|
|
}
|
|
|
|
label > input {
|
|
|
|
margin-left: 1em;
|
|
|
|
}
|
|
|
|
label {
|
|
|
|
font-family: monospace;
|
|
|
|
font-weight: bold;
|
|
|
|
font-size: smaller;
|
|
|
|
color: #999999;
|
|
|
|
}
|
|
|
|
label > div {
|
|
|
|
display: inline-block;
|
|
|
|
min-width: 50px;
|
|
|
|
}
|
|
|
|
table {
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
form {
|
|
|
|
min-width: 20em;
|
|
|
|
}
|
|
|
|
span.small {
|
|
|
|
font-size: smaller;
|
2023-07-11 21:02:22 -05:00
|
|
|
}
|
|
|
|
.visually-hidden:not(:focus):not(:active) {
|
|
|
|
clip: rect(0 0 0 0);
|
|
|
|
clip-path: inset(50%);
|
|
|
|
height: 1px;
|
|
|
|
overflow: hidden;
|
|
|
|
position: absolute;
|
|
|
|
white-space: nowrap;
|
|
|
|
width: 1px;
|
2023-07-10 12:36:31 -05:00
|
|
|
}
|