+ /// Set and get mapping from point size to HTML font size. There should be 7 elements,
+ /// one for each HTML font size, each element specifying the maximum point size for that
+ /// HTML font size. E.g. 8, 10, 13, 17, 22, 29, 100
+ void SetFontSizeMapping(const wxArrayInt& fontSizeMapping) { m_fontSizeMapping = fontSizeMapping; }
+ wxArrayInt GetFontSizeMapping() const { return m_fontSizeMapping; }
+