Split up stylesheets based on Javadoc version

Since Javadoc versions pre- and post-Java 7 generate distinct
HTML and CSS, styling each one separately and keeping the
common styles in a separate base stylesheet is preferable to
lumping everything together.