RFR: 8235670: Javadoc pages not printing correctly in some browsers

[Jonathan Gibbons]

Looks good to me.

-- Jon

On 12/10/19 9:26 AM, Pavel Rappo wrote:
> Hannes,
>
> Thanks for doing this! Looks good.
>
>> On 10 Dec 2019, at 17:12, Hannes Wallnöfer <hannes.wallnoefer at oracle.com> wrote:
>>
>> Please review:
>>
>> JBS: https://bugs.openjdk.java.net/browse/JDK-8235670
>> Webrev: http://cr.openjdk.java.net/~hannesw/8235670/webrev.00/
>> API docs: http://cr.openjdk.java.net/~hannesw/8235670/api.00/
>>
>> Pavel discovered today that Javadoc pages with the CSS Flexbox layout don’t print correctly on browsers such as Safari or Firefox. Fortunately, this can be fixed quite easily by limiting the flexbox layout to the „screen" @media type, leaving „print“ and „speech“ @media types with the plain layout.
>>
>> I have also added a directive to hide the navigation links and search box in the „print“ layout, which helps to remove some useless clutter from printed documentation.
>>
>> Thanks,
>> Hannes