9 Commits

Author	SHA1	Message	Date
Thomas Schmidts	79f851fab5	Fix #1047. The header is now fixed and scrolls with the rest of the text	2014-10-14 17:52:01 +02:00
Thomas Schmidts	20a0db11f3	Changed gitbook theme and updated it to new version	2014-09-01 16:37:47 +02:00
Thomas Schmidts	e46d87f23c	Changed documentation code in configure chapter	2014-07-02 14:08:41 +02:00
Thomas Schmidts	533b841175	Some changes in the the theme for gitbook	2014-06-13 09:20:36 +02:00
Thomas Schmidts	86cce6f19f	Some fixes for folding	2014-06-11 15:25:04 +02:00
Thomas Schmidts	055618408b	Changes in the Http Interface in Gitbook	2014-06-10 14:18:04 +02:00
Thomas Schmidts	bc0c8aac3a	small changes in the design	2014-06-04 16:41:44 +02:00
gschwab	036e29f45b	tabs replaced with spaces	2014-06-04 15:59:17 +02:00
Thomas Schmidts	67f2ea2f97	added the stylesheet	2014-06-04 14:29:24 +02:00