← Back to branch summary

~azzar1/unity/add-show-desktop-key 

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

#output {
    /*border: solid black 1pt;*/
    height: 24em;
    overflow: scroll;
    margin-bottom: 4pt;
    padding: 4pt;
}
#input {
    /*border: solid green 1pt;*/
}
#prompt {
    font-family: monospace;
}
pre.errorMsg {
    color: red;
    margin-top: 0em;
    margin-bottom: 0em;
}
pre.inputMsg {
    color: gray;
    margin-top: 0em;
    margin-bottom: 0em;
}
pre.outputMsg {
    margin-top: 0em;
    margin-bottom: 0em;
}