-
Notifications
You must be signed in to change notification settings - Fork 1
/
TimeOut.css
87 lines (87 loc) · 1.29 KB
/
TimeOut.css
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
html, body
{
height: 100%;
margin: 0px;
padding: 0px;
font-family: 'Courier New', Courier, monospace;
}
#output
{
width: 850px;
min-height: 180px;
color: #ffffff;
background-color: #0094ff;
font-size: 120%;
font-family: 'Courier New', monospace;
margin: 10px;
padding: 10px;
}
.console
{
min-height: 100px;
/* background: #000000; */
color: #0094ff;
margin-left: 10px;
padding: 10px;
padding-bottom: 15px;
border: solid 1px #0094ff;
width: 420px;
float: left;
}
.stack
{
width: 420px;
overflow-y: scroll;
float: left;
margin: 10px;
}
.bad
{
color: #aa0000;
}
#container
{
height: 100%;
min-width: 1450px;
width: 1450px !important;
}
#leftCol
{
margin: 0px;
min-height: 100%;
padding: 20px;
float: left;
padding-right: 20px;
height: 100%;
min-width: 420px;
width: 420px;
max-width: 420px;
background-color: #dddddd;
border-right: solid 1px #999999;
}
#rightCol
{
float: left;
width: 880px;
width: auto !important;
min-width: 880px;
}
#programLoader
{
margin-bottom: 10px;
}
#codeBlock
{
width: 400px;
height: 50%;
}
#runButton
{
font-size: 120%;
}
.smallDesc
{
font-size: 80%;
margin-top: 10px;
margin-bottom: 10px;
}