3 Commits

Author	SHA1	Message	Date
Mike Hearn	dd6208ef25	Docs: fix font size issue that's visible now I got myself a bigger monitor and changed the default font size in my browser	2016-03-11 13:41:42 +01:00
Mike Hearn	d420b1e785	Minor: widen the doc area in the docsite by 200px, stops code overflowing and results in more space for text.	2016-02-18 17:54:41 +01:00
Mike Hearn	3dd10714df	Introduce documentation of the current prototype with a contract programming tutorial (incomplete), using the Sphinx docs engine. ... Actual generated HTML will follow in the next commit.	2015-11-25 18:01:37 +01:00