forked from hcientist/OnlinePythonTutor
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathopt-frontend.css
More file actions
86 lines (68 loc) · 1.31 KB
/
opt-frontend.css
File metadata and controls
86 lines (68 loc) · 1.31 KB
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
/* CSS accompanying ../visualize.html */
h1 {
font-weight: normal;
font-size: 20pt;
font-family: georgia, serif;
line-height: 1em; /* enforce single spacing so that Georgia works */
margin-top: 0px;
margin-bottom: 8px;
}
h2 {
font-size: 12pt;
font-weight: normal;
font-family: georgia, serif;
line-height: 1.1em; /* enforce single spacing so that Georgia works */
margin-top: 2px;
margin-bottom: 20px;
}
body {
background-color: white;
font-family: verdana, arial, helvetica, sans-serif;
font-size: 10pt;
}
a,
a:visited,
a:hover {
color: #3D58A2;
}
span {
padding: 0px;
}
table#pyOutputPane {
padding: 10px;
}
#pyInputPane {
margin-top: 20px;
margin-bottom: 20px;
max-width: 700px;
/* center align */
margin-left: auto;
margin-right: auto;
}
#codeInputPane {
margin-top: 5px;
font-size: 12pt;
border: 1px solid #ddd;
}
button.smallBtn {
font-size: 10pt;
padding: 3px;
}
button.bigBtn {
font-size: 12pt;
padding: 6px;
margin-top: 6px;
}
#footer {
color: #666666;
font-size: 9pt;
border-top: 1px solid #bbbbbb;
padding-top: 5px;
margin-top: 5px;
max-width: 700px;
/* center align */
margin-left: auto;
margin-right: auto;
}
/* necessary for CodeMirror error line highlighting to work! */
.CodeMirror .errorLine { background: #ffff3f !important; }