New site - #137

Merged

ekryski merged 6 commits into

Jul 8, 2015

Commits on Jul 6, 2015

revamping the site. Some polish still left to do
ekryski
committed
efdce82

Commits on Jul 7, 2015

finished up the home page
ekryski
committed
92005d2
some copy changes
ekryski
committed
13cc381
fixing the docs and code styles
ekryski
committed
271a73b
some better syntax highlighting
ekryski
committed
a51d017

Commits on Jul 8, 2015

adding the real-time todos example
ekryski
committed
1c10800