1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
| html body {
| height: 100%;
| font-family: "Source Sans Pro", "DejaVu Sans", "sans-serif";
| }
|
| #text-output {
| border: solid 0.5px hsl(0, 0%, 70%);
| height: 50ex;
| max-height: 50ex;
| font-family: "Source Code Pro", "Consolas" , monospace ;
| font-size: 10pt;
| margin-top: 8px;
| overflow: auto;
| padding: 10px 5px 5px 5px;
| background-color: hsl(0, 0%, 95%);
| }
|
| .description {
| font-size: medium;
| }
|
| label {
| font-size: small;
| }
|
|
