Здесь есть какая-то загадка, потому что ни одно здравое Java-приложение сегодня не поддержало бы это, и никто, пишущий сегодня HTML, не должен даже знать, что этот тег когда-либо существовал ... это не было делом в течение почти двадцати лет: ни один стандарт HTML не имел элемент <font>
начиная с HTML 4.01, выпущенного в 1999 году.
Последним стандартом HTML, который допускал использование элемента <font>
, был HTML 3.2, поэтому давайте посмотрим спецификацию HTML3.2 1997 года:
Размеры шрифта приведены в виде скалярного диапазона, определенного пользовательским агентом, без прямого сопоставления с размерами точек и т. Д.
Так что, к сожалению, вам совершенно не повезло. Буквально невозможно определить, какую фактическую точку или размер пикселя должен использовать шрифт, учитывая атрибут HTML3.2 size
для элемента <font>
. Возможно, вам удастся выяснить, какие конкретные версии определенных браузеров в определенных операционных системах использовались для поддержки еще в то время, когда HTML 3.2 все еще существовал, но эта информация будет бесполезна для любой другой ОС, любого другого браузера и даже любой другой версии. для того же браузера в той же ОС.
Это одна из основных причин того, что атрибуты стиля были полностью исключены из спецификации HTML, а инструкции по стилю оставлены (почти) исключительно для обработки CSS.
С учетом всего сказанного: с каким сумасшедшим Java-кодом вы работаете, с которым вы можете использовать элемент <font>
без ошибок или, по крайней мере, с предупреждениями о разметке, которой не было два десятилетия?