docs/master
log style
| age | author | description |
|---|---|---|
| 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. |
| Tue, 10 Jul 2012 15:58:46 +0200 | markus schnalke | style: Changed indent width; changed formating of lists. |