fix header font-size for hovers and javadoc
2 files changed