function push_css_text_defaults() { // No borders for pure text boxes; border can be controlled via SPANs push_border(default_border()); push_font_family(get_font_family()); // push_font_size(get_font_size()); push_font_size("1em"); push_font_style(get_font_style()); push_font_weight(get_font_weight()); push_line_height(get_line_height()); global $g_css_handlers; $keys = array_keys($g_css_handlers); foreach ($keys as $key) { $g_css_handlers[$key]->inherit_text(); } }
function css_font_weight($value, $root) { pop_font_weight(); push_font_weight(parse_weight($value)); }