Flexible Font-Size Specification in Web Documents