HTML("<pre>") extra empty line at the end

[MykolaGolubyev]

Hello, Not sure if it is on purpose, but when I do

HTML("<pre>test line\nanother line</pre>")

there is an empty line at the end of the output

[ileasile]

It's interesting that it only happens in the dark color scheme, rendering in light scheme is okeyish

[ileasile]

https://youtrack.jetbrains.com/issue/KTNB-228/Extra-empty-line-at-the-end-of-pre-tag-in-dark-color-scheme