minor changes of the output format

Mostly adjusting colors of the <a> and <code> tags. Also the widths of columns
of the tables on the index page are now fixed so that it looks nicer.
don't document @Property if it is also annotated as @Inject