On Sun, 13 Dec 2020 14:51:47 GMT, Stanimir Stamenkov <github.com+1247730+sta...@openjdk.org> wrote:
> Fix for [JDK-8257664][] – HTMLEditorKit: Wrong CSS relative font sizes. > > _Disclaimer:_ I'm the reporter of the issue and I've been advised the best > chance to get it addressed is to submit a pull request against this > repository. I haven't built the JDK myself, I'll need guidance if required. > I have a proof-of-concept example – demonstrating the bug and a workaround > available as a [public > gist](https://gist.github.com/stanio/b79ce9348946aa6b3395328ec4c59d14). I > have included a sample test though I don't know if it is annotated properly. > > **Current behavior** > > <style> > h2, .h2 { font-size: 150% } > </style> > > <body> > > <h2>Foo</h2> > > <div class=h2>Bar</div> > > <ol class=h2> > <li>Baz</li> > </ol> > > <table class=h2> > <tr> > <td>Qux</td> > </tr> > </table> > > </body> > > **Expected behavior** > > All text should be displayed with a font size of the computed `<body>` > font-size × 1.5. > > [JDK-8257664]: https://bugs.openjdk.java.net/browse/JDK-8257664 I'll need a few days to find a printer and a scanner for submitting OCA. ------------- PR: https://git.openjdk.java.net/jdk/pull/1759