15 Commits

Author	SHA1	Message	Date
Thomas Schmidts	aa5d74c32d	Its now possible to build pdf, epub and mobi again	2014-10-29 17:36:21 +01:00
Jan Steemann	c438ca5d93	made CSS slightly smaller	2014-10-17 10:58:43 +02:00
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	12b3562f53	Fixed #1050. Now its possible to clear the search in the documentation	2014-10-14 16:13:03 +02:00
Thomas Schmidts	cf17693356	Added style for deprecated documentation	2014-09-11 15:40:20 +02:00
Thomas Schmidts	20a0db11f3	Changed gitbook theme and updated it to new version	2014-09-01 16:37:47 +02:00
Thomas Schmidts	6d09bb2ecd	added favicon to gitbook	2014-08-26 16:23:28 +02:00
Thomas Schmidts	63b24cc71e	Fixed some data in the gitbook theme	2014-08-25 11:54:11 +02:00
Thomas Schmidts	5d6c8a8971	changed width of summary block	2014-08-05 14:55:19 +02:00
Thomas Schmidts	b63b7fd84f	Fixed problem with font-size in gitbook	2014-07-14 13:39:36 +02:00
Frank Celler	5db02fe468	moved style to non-less style.css	2014-06-20 14:48:08 +02:00
Thomas Schmidts	533b841175	Some changes in the the theme for gitbook	2014-06-13 09:20:36 +02:00
gschwab	e6a2328438	merged for revert	2014-06-04 17:19:34 +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