On Wed, 27 Jan 2021 11:40:10 GMT, Matthias Perktold <github.com+7334069+mperkt...@openjdk.org> wrote:
> This PR supersedes #2223. > The original PR was created from master, whereas this PR is created from a > fresh branch. You should edit the title of the PR to be the same as the subject of the bug in JBS: 8231286: HTML font size too large with high-DPI scaling and W3C_LENGTH_UNITS Please also provide the additional information in the description from the PR #2223. ------------- PR: https://git.openjdk.java.net/jdk/pull/2256