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));
}