Skip to content

Commit a4b1ccf

Browse files
ranjitjhalaranjitjhala
committed
separate 230-web
0 parents  commit a4b1ccf

File tree

171 files changed

+65377
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

171 files changed

+65377
-0
lines changed

‎Makefile

+40
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
RSYNC=$(shell pwd)/sync.sh
2+
SITEUSER[email protected]
3+
SITEPATH=/cse/htdocs/classes/wi15/cse230-a
4+
remotehost=login.eng.ucsd.edu
5+
remotedir=/cse/htdocs/classes/wi15/cse230-a
6+
7+
PANDOCHANDOUT=pandoc --highlight-style=tango --from=markdown+lhs --chapters --latex-engine=pdflatex --template=templates/handout.latex --filter templates/inside.hs
8+
9+
lhsObjects := $(wildcard lectures/*.lhs)
10+
pdfObjects := $(patsubst lectures/%.lhs,pdf/%.pdf,$(wildcard lectures/*.lhs))
11+
12+
all: website
13+
stack exec -- website rebuild
14+
cp css/syntax-rj.css _site/css/syntax.css
15+
cp lectures/*.lhs _site/lectures/
16+
cp -p -r slides _site/
17+
cp homeworks/*.lhs _site/homeworks/
18+
cp final/*.lhs _site/final/
19+
20+
website: src/Site.hs
21+
stack build
22+
23+
clean:
24+
rm -rf *.hi *.o .*.swp .*.swo website _site/ _cache/
25+
26+
rsync:
27+
$(RSYNC) _site/ $(remoteuser) $(remotehost) $(remotedir)
28+
29+
update: build
30+
scp -r _site/* $(SITEUSER):$(SITEPATH)
31+
ssh $(SITEUSER) "chmod -R g+w $(SITEPATH) && chmod -R ugo+r $(SITEPATH)"
32+
33+
slides:
34+
cd slides && make && cd ..
35+
36+
handouts: $(pdfObjects)
37+
38+
pdf/%.pdf: lectures/%.lhs
39+
-$(PANDOCHANDOUT) $? -o $@
40+

‎README.md

+43
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
Install Libraries
2+
--------------------
3+
4+
cabal install hakyll -fhighlighting pandoc
5+
6+
7+
Build the site
8+
--------------
9+
10+
make all
11+
rebuilds the site (locally)
12+
13+
make clean
14+
nukes all the temporary files
15+
16+
make update
17+
updates the webpage on csefast
18+
19+
20+
Add new lectures or homeworks
21+
-----------------------------
22+
23+
To add a new lecture, create the new file
24+
25+
lectures/lec-XXX.lhs
26+
27+
then add a link to it in
28+
29+
lectures.markdown
30+
31+
and then do
32+
33+
make && make update
34+
35+
The analogous instructions apply to create a new homework.
36+
37+
Todo
38+
----
39+
Auto-generate Lectures and Homeworks (and the links)
40+
from directories.
41+
42+
43+

‎assignments.markdown

+16
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
---
2+
title: Assignments
3+
---
4+
5+
**LATE POLICY:** You have a total of **4** late days that can be used in
6+
atomic units over the entire quarter. By "atomic" I mean, for example, that
7+
35 mins over the deadline is equal to 1 late day.
8+
9+
- [Homework #1](homeworks/Hw1.html), due 23.59.59 PST on Monday 1.26.2015
10+
- [Homework #2](homeworks/Hw2.html), due 23.59.59 PST on Friday 2.13.2015
11+
- [Homework #3](homeworks/Hw3.html), due 23.59.59 PST on Monday 3.2.2015
12+
13+
<!---
14+
- [Homework #4](homeworks/hw4.html), due Friday, 3.8.2014
15+
- [Final](homeworks/final.html) , due Friday, March 23
16+
-->

‎css/default.css

+212
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,212 @@
1+
.hidden {
2+
display: none;
3+
}
4+
5+
6+
body {
7+
line-height: 1.5em;
8+
}
9+
10+
h1 {
11+
line-height: 1.5em;
12+
}
13+
14+
15+
html {
16+
17+
font-family: "Lora", Georgia, "Times New Roman", Times, serif;
18+
19+
/*
20+
font-family: "helvetica";
21+
font-family: "palatino";
22+
font-family: "Andale Mono";
23+
font-family: sans-serif;
24+
padding: 0px;
25+
margin: 0px;
26+
background-color: white;
27+
color: black;
28+
line-height: 160%;
29+
*/
30+
}
31+
32+
33+
a {
34+
/* color:#386794; */
35+
/* font-family: "apolline-1","apolline-2",serif; */
36+
color:#0000FF;
37+
text-decoration:bold;
38+
}
39+
40+
a:hover {
41+
color:#1d4c77;
42+
text-decoration:underline
43+
}
44+
45+
a:visited,a:active {
46+
color:#6c88a2
47+
}
48+
49+
div#navigation {
50+
text-align: center;
51+
border-bottom: 4px solid black;
52+
}
53+
54+
div#navigation a {
55+
color: white;
56+
text-decoration: none;
57+
background-color: black;
58+
padding: 3px 10px 3px 10px;
59+
margin: 0px 10px 0px 10px;
60+
}
61+
62+
body {
63+
width: 700px;
64+
/* width: 900px; */
65+
margin: 0px auto 0px auto;
66+
}
67+
/*
68+
body {
69+
padding: 0px 0px 60px 0px;
70+
margin: 0px;
71+
}
72+
*/
73+
74+
div#header {
75+
height: 32px;
76+
padding: 20px 0px 20px 60px;
77+
}
78+
79+
div#header img {
80+
display: inline;
81+
vertical-align: middle;
82+
}
83+
84+
div#header h1 {
85+
padding-left: 10px;
86+
display: inline;
87+
text-transform: uppercase;
88+
vertical-align: middle;
89+
}
90+
91+
div#main {
92+
margin: 0px auto 0px auto;
93+
width: 760px;
94+
}
95+
96+
div#sidebar {
97+
margin-right: 30px;
98+
width: 160px;
99+
float: left;
100+
text-align: right;
101+
}
102+
103+
div#sidebar a {
104+
display: block;
105+
font-size: 110%;
106+
text-decoration: none;
107+
margin-bottom: 10px;
108+
text-transform: uppercase;
109+
}
110+
111+
div#content {
112+
width: 570px;
113+
float: right;
114+
}
115+
116+
div#footer {
117+
padding-top: 30px;
118+
clear: both;
119+
font-size: 90%;
120+
text-align: center;
121+
}
122+
123+
a {
124+
color: black;
125+
}
126+
127+
h2 {
128+
font-size: 120%;
129+
text-transform: uppercase;
130+
}
131+
132+
h3 {
133+
font-size: 100%;
134+
text-transform: uppercase;
135+
}
136+
137+
div.column {
138+
width: 50%;
139+
float: left;
140+
}
141+
142+
div.column p {
143+
padding-right: 15px;
144+
}
145+
146+
img {
147+
display: block;
148+
margin: 10px auto 10px auto;
149+
border: none;
150+
}
151+
152+
ul {
153+
list-style-type: square;
154+
padding-left: 1em;
155+
margin-left: 1em;
156+
}
157+
158+
code {
159+
/* font-weight: bold; */
160+
background-color: rgb(250, 250, 250);
161+
border: 1px solid rgb(200, 200, 200);
162+
padding-left: 4px;
163+
padding-right: 4px;
164+
}
165+
166+
pre code {
167+
/* color: rgb(255, 255, 255);
168+
color: #F5F1CD;
169+
font-weight: bold;
170+
*/
171+
/*font-family:"DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Lucida Console", "Lucida Sans Typewriter", monospace;
172+
*/
173+
font-family: Monaco, Menlo, Consolas, "Courier New", monospace;
174+
font-size: 100%;
175+
color: rgb(255, 255, 255);
176+
background-color: rgb(0, 0, 0);
177+
display: block;
178+
padding: 8px;
179+
margin-bottom: 2em;
180+
overflow:auto;
181+
}
182+
183+
p.caption {
184+
display: none;
185+
}
186+
187+
img {
188+
border:0px;
189+
margin-left:auto;
190+
margin-right:auto;
191+
display:block
192+
}
193+
194+
/* NICK WU
195+
code {
196+
font-family:"DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Lucida Console", "Lucida Sans Typewriter", monospace;
197+
font-size:13px;
198+
background-color:#222
199+
}
200+
201+
pre {background:#000}
202+
203+
pre code{background:#000}
204+
205+
pre.sourceCode {
206+
background-color:black;
207+
color:white;
208+
padding:5px;
209+
margin:0px 10px;
210+
overflow:auto
211+
}
212+
*/

‎css/syntax-rj.css

+18
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
/* Generated by pandoc. */
2+
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
3+
{ margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
4+
td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
5+
td.sourceCode { padding-left: 5px; }
6+
pre.sourceCode span.kw { color: #75D075 ; font-weight: bold; }
7+
pre.sourceCode span.dt { color: #00FFFF; font-weight: bold; }
8+
pre.sourceCode span.dv { color: #7FFFD4; }
9+
pre.sourceCode span.bn { color: #40a070; }
10+
pre.sourceCode span.fl { color: #40a070; }
11+
pre.sourceCode span.ch { color: #FFA3E0; }
12+
pre.sourceCode span.st { color: #FFA3E0; }
13+
pre.sourceCode span.co { color: #60a0b0; font-style: italic; }
14+
pre.sourceCode span.ot { color: #ADFF2F; }
15+
pre.sourceCode span.al { color: red; font-weight: bold; }
16+
pre.sourceCode span.fu { color: #BDDEFF ;}
17+
pre.sourceCode span.re { }
18+
pre.sourceCode span.er { color: red; font-weight: bold; }

‎css/syntax.css

+18
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
/* Generated by pandoc. */
2+
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
3+
{ margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
4+
td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
5+
td.sourceCode { padding-left: 5px; }
6+
pre.sourceCode span.kw { color: #75D075 ; font-weight: bold; }
7+
pre.sourceCode span.dt { color: #00FFFF; font-weight: bold; }
8+
pre.sourceCode span.dv { color: #7FFFD4; }
9+
pre.sourceCode span.bn { color: #40a070; }
10+
pre.sourceCode span.fl { color: #40a070; }
11+
pre.sourceCode span.ch { color: #FFA3E0; }
12+
pre.sourceCode span.st { color: #FFA3E0; }
13+
pre.sourceCode span.co { color: #60a0b0; font-style: italic; }
14+
pre.sourceCode span.ot { color: #ADFF2F; }
15+
pre.sourceCode span.al { color: red; font-weight: bold; }
16+
pre.sourceCode span.fu { color: #BDDEFF ;}
17+
pre.sourceCode span.re { }
18+
pre.sourceCode span.er { color: red; font-weight: bold; }

‎css/syntax.old.css

+18
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
/* Generated by pandoc. */
2+
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
3+
{ margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
4+
td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
5+
td.sourceCode { padding-left: 5px; }
6+
pre.sourceCode span.kw { color: #007020; font-weight: bold; }
7+
pre.sourceCode span.dt { color: #902000; }
8+
pre.sourceCode span.dv { color: #40a070; }
9+
pre.sourceCode span.bn { color: #40a070; }
10+
pre.sourceCode span.fl { color: #40a070; }
11+
pre.sourceCode span.ch { color: #4070a0; }
12+
pre.sourceCode span.st { color: #4070a0; }
13+
pre.sourceCode span.co { color: #60a0b0; font-style: italic; }
14+
pre.sourceCode span.ot { color: #007020; }
15+
pre.sourceCode span.al { color: red; font-weight: bold; }
16+
pre.sourceCode span.fu { color: #06287e; }
17+
pre.sourceCode span.re { }
18+
pre.sourceCode span.er { color: red; font-weight: bold; }

0 commit comments

Comments
 (0)