https://hanapolitics.blogspot.com/2022/11/line-spacing-htmleditor-javafx.html