Adapt (more ore less) Java Doc stylesheet