* moved some rules from the first to the latter, and @import the latter for the manpage. * added some further formatting for index.html.