Details
-
Bug
-
Status: Closed
-
Trivial
-
Resolution: Fixed
-
8.2, 9.0, 10.0, 11.0
-
Windows
Description
Using File > Print to HTML will produce HTML with misspelled font family (font-family: Monospaced instead of "monospace"). The result is rendered with the browser's default (non-monospace) font.
Steps to reproduce:
- Create or open any java file
- go to File > Print to HTML > Print to file
- open generated HTML file (result will not be rendered with proper font due to wrong font-family)
- (optional) edit html file replacing all occurrences of "monospace*d*" with "monospace" and see the file is now rendered correctly.
It seems this minor bug was already reported in year 2013 under Bug 236506 but the ticked was closed unresolved.
Refer to https://www.w3.org/Style/Examples/007/fonts for more about font families.
Attachments
Attachments
Issue Links
- links to