Fixing CSS for Javadocs
Rework the menu spacing
Merge pull request #1 from qidane/javadoc-css

Rework the menu spacing
Combined style for v1.6 and v1.7 of javadocs
Merge pull request #2 from qidane/javadoc-css

Combined style for v1.6 and v1.7 of javadocs
Merge pull request #2415 from hflynn/javadoc-css

Fixing CSS for Javadocs