Added extra small/large font size

pull/209/head
M66B 3 years ago
parent 6d754f31bf
commit 8ebc9245d8

@ -573,7 +573,6 @@ public class HtmlHelper {
// https://developer.mozilla.org/en-US/docs/Web/HTML/Element/font // https://developer.mozilla.org/en-US/docs/Web/HTML/Element/font
for (Element font : document.select("font")) { for (Element font : document.select("font")) {
// https://developer.mozilla.org/en-US/docs/Web/HTML/Element/font
String style = font.attr("style"); String style = font.attr("style");
String color = font.attr("color").trim(); String color = font.attr("color").trim();
String size = font.attr("size").trim(); String size = font.attr("size").trim();
@ -605,12 +604,18 @@ public class HtmlHelper {
size = "larger"; size = "larger";
else else
throw new NumberFormatException("size=" + size); throw new NumberFormatException("size=" + size);
} else if (s < 3) } else {
if (s < 2)
size = "x-small";
else if (s < 3)
size = "small"; size = "small";
else if (s > 4)
size = "x-large";
else if (s > 3) else if (s > 3)
size = "large"; size = "large";
else else
size = "medium"; size = "medium";
}
sb.append("font-size:").append(size).append(";"); sb.append("font-size:").append(size).append(";");
} catch (NumberFormatException ex) { } catch (NumberFormatException ex) {
Log.i(ex); Log.i(ex);

Loading…
Cancel
Save