thin, thick and medium identifiers have fixed values since May 2022

See CSSWG issue 7254.

Author: carlosame

src/io/sf/carte/doc/style/css/awt/AWTStyleDatabase.java

@@ -212,16 +212,15 @@ public float getFontSizeFromIdentifier(String familyName, String fontSizeIdentif
 
 	@Override
 	public float getWidthSize(String widthIdentifier, float fontSize) throws DOMException {
-		// Normalize to device resolution
-		float factor = Math.max(0.62f, deviceResolutionFactor());
 		if ("thin".equalsIgnoreCase(widthIdentifier)) {
-			return 1f * factor;
+			return 0.75f; // 1px
 		} else if ("thick".equalsIgnoreCase(widthIdentifier)) {
-			return 4f * factor;
+			return 3.75f; // 5px
 		} else if ("medium".equalsIgnoreCase(widthIdentifier)) {
-			return 2f * factor;
+			return 2.25f; // 3px
 		} else {
-			throw new DOMException(DOMException.SYNTAX_ERR, "Unknown identifier " + widthIdentifier);
+			throw new DOMException(DOMException.SYNTAX_ERR,
+				"Unknown identifier " + widthIdentifier);
 		}
 	}