Skip to content

Commit 13a0c7b

Browse files
author
Philip Guo
committed
whoops forgot CSS!
1 parent f110e39 commit 13a0c7b

2 files changed

Lines changed: 123 additions & 1 deletion

File tree

edu-python-title.css

Lines changed: 122 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,122 @@
1+
/*
2+
3+
Online Python Tutor
4+
Copyright (C) 2010-2011 Philip J. Guo (philip@pgbovine.net)
5+
https://github.com/pgbovine/OnlinePythonTutor/
6+
7+
This program is free software: you can redistribute it and/or modify
8+
it under the terms of the GNU General Public License as published by
9+
the Free Software Foundation, either version 3 of the License, or
10+
(at your option) any later version.
11+
12+
This program is distributed in the hope that it will be useful,
13+
but WITHOUT ANY WARRANTY; without even the implied warranty of
14+
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15+
GNU General Public License for more details.
16+
17+
You should have received a copy of the GNU General Public License
18+
along with this program. If not, see <http://www.gnu.org/licenses/>.
19+
20+
*/
21+
22+
23+
/*
24+
Color scheme ideas:
25+
26+
Current scheme: pastel blue and yellow with a hint of red:
27+
http://colorschemedesigner.com/#3N32mmmuew0w0
28+
29+
Primary Color:
30+
3D58A2 41507A 142B69 6F89D1 899CD1
31+
Secondary Color A:
32+
EBF048 B1B456 989C17 F4F776 F5F798
33+
Secondary Color B:
34+
F15149 B55B56 9D1E18 F87D76 F89D99
35+
36+
*/
37+
38+
39+
body {
40+
background-color: white;
41+
font-family: verdana, arial, helvetica, sans-serif;
42+
font-size: 10pt;
43+
}
44+
45+
a {
46+
color: #3D58A2;
47+
}
48+
49+
a:visited {
50+
color: #3D58A2;
51+
}
52+
53+
a:hover {
54+
color: #142B69; /* darken during hover */
55+
}
56+
57+
58+
h1 {
59+
font-weight: normal;
60+
font-size: 20pt;
61+
font-family: georgia, serif;
62+
line-height: 1em; /* enforce single spacing so that Georgia works */
63+
64+
margin-top: 0px;
65+
margin-bottom: 3px;
66+
}
67+
68+
h2 {
69+
font-size: 13pt;
70+
font-weight: normal;
71+
font-family: georgia, serif;
72+
line-height: 1.1em; /* enforce single spacing so that Georgia works */
73+
74+
margin-top: 2px;
75+
}
76+
77+
div.activityPane {
78+
/*background-color: #899CD1;*/
79+
background-color: #F5F798;
80+
/* TOP RIGHT BOTTOM LEFT */
81+
padding: 15px 20px 5px 20px;
82+
width: 450px;
83+
margin: 20px;
84+
text-align: left;
85+
}
86+
87+
pre {
88+
font-family: Andale mono, monospace;
89+
margin-left: 0.5em;
90+
}
91+
92+
.titlePane h2 {
93+
margin-top: 8px;
94+
}
95+
96+
.titlePane {
97+
margin-bottom: 25px;
98+
}
99+
100+
#footer {
101+
text-align: center;
102+
color: #666666;
103+
font-size: 9pt;
104+
max-width: 700px;
105+
border-top: 1px solid #bbbbbb;
106+
padding-top: 5px;
107+
margin-top: 5px;
108+
}
109+
110+
h3 {
111+
font-size: 14pt;
112+
font-weight: normal;
113+
}
114+
115+
ul {
116+
padding-left: 18px;
117+
}
118+
119+
li {
120+
margin-bottom: 6px;
121+
font-size: 11pt;
122+
}

edu-python.css

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/*
22
33
Online Python Tutor
4-
Copyright (C) 2010 Philip J. Guo (philip@pgbovine.net)
4+
Copyright (C) 2010-2011 Philip J. Guo (philip@pgbovine.net)
55
https://github.com/pgbovine/OnlinePythonTutor/
66
77
This program is free software: you can redistribute it and/or modify

0 commit comments

Comments
 (0)