You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
109 lines
1.7 KiB
109 lines
1.7 KiB
@font-face {
|
|
font-family: "Stackline Classic";
|
|
src: url("/font/StacklineClassic-Medium.otf");
|
|
}
|
|
|
|
body {
|
|
margin: 0;
|
|
height: 100vh;
|
|
display: flex;
|
|
flex-direction: row;
|
|
align-items: stretch;
|
|
overflow-y: hidden;
|
|
}
|
|
|
|
#left-pane, #right-pane {
|
|
min-width: 20em;
|
|
max-width: 25vw;
|
|
background: #18181b;
|
|
color: #f0f0f0;
|
|
padding: 1.5em 1em;
|
|
font-family: monospace;
|
|
font-size: 15px;
|
|
}
|
|
|
|
#middle-pane {
|
|
flex-grow: 1;
|
|
}
|
|
|
|
#main-canvas {
|
|
width: 100%;
|
|
height: 100vh;
|
|
}
|
|
|
|
h2 {
|
|
font-size: inherit;
|
|
margin: 0;
|
|
color: white;
|
|
/* font-weight: normal; */
|
|
/* text-decoration: underline; */
|
|
}
|
|
|
|
h3 {
|
|
font-size: inherit;
|
|
margin: 0;
|
|
color: white;
|
|
font-weight: normal;
|
|
}
|
|
|
|
#right-pane:not(.selected)::before {
|
|
content: "Nothing selected";
|
|
font-style: italic;
|
|
color: #808080;
|
|
}
|
|
|
|
#right-pane:not(.selected) > * {
|
|
display: none;
|
|
}
|
|
|
|
#signal, #tile {
|
|
margin-top: 0.25em;
|
|
margin-bottom: 0.25em;
|
|
}
|
|
|
|
#signal:not(.has-signal), #tile:not(.has-tile) {
|
|
padding-left: 0;
|
|
border-left: none;
|
|
margin-left: 0;
|
|
}
|
|
|
|
#signal:not(.has-signal) > *, #tile:not(.has-tile) > * {
|
|
display: none;
|
|
}
|
|
|
|
#signal:not(.has-signal)::before {
|
|
content: "No signal";
|
|
}
|
|
|
|
#tile:not(.has-tile)::before {
|
|
content: "No tile";
|
|
}
|
|
|
|
#signal:not(.has-signal)::before, #tile:not(.has-signal)::before {
|
|
font-style: italic;
|
|
color: #808080;
|
|
}
|
|
|
|
#stack {
|
|
list-style: none;
|
|
padding-left: 0em;
|
|
margin: 0 0;
|
|
}
|
|
|
|
#stack > li {
|
|
margin-top: 2px;
|
|
margin-bottom: 2px;
|
|
}
|
|
|
|
#stack > li::before {
|
|
content: "\25b6";
|
|
margin-right: 0.5em;
|
|
color: #808080;
|
|
}
|
|
|
|
.indent {
|
|
margin-left: 0.5em;
|
|
padding-left: calc(0.5em - 1px);
|
|
border-left: 1px solid #808080;
|
|
}
|