docs/master

log style

age author description
Thu, 12 Jul 2012 09:03:58 +0200 markus schnalke style: Fixed font size change in .VS/.VE
Wed, 11 Jul 2012 11:05:22 +0200 markus schnalke style: Extended the system to handle appendices and fixed the page hdrs.
Tue, 10 Jul 2012 18:18:08 +0200 markus schnalke style: Fixed indent for verbatim text.