1body {
2    font-family: sans;
3    max-width: 1000px;
4    margin: 0 auto;
5    padding: 0 1em;
6}
7
8label {
9    display: block;
10    margin-top: 1em;
11}
12
13.toolbar {
14    overflow: hidden;
15}
16
17.toolbar-button {
18    float: right;
19    margin-left: 0.5em;
20}
21
22.toolbar-text {
23    overflow: hidden;
24    display: block;
25}
26
27input[type=text] {
28    width: 100%;
29    box-sizing: border-box;
30}
31
32.window {
33    font-family: monospace;
34    white-space: pre-wrap;
35    background: black;
36    color: #0f0;
37    padding: 0.5em;
38    margin-bottom: 1em;
39}
40
41#source span {
42    display: block;
43}
44
45.selected {
46    background: #0f0;
47    color: #000;
48}
49