PHP push_font_style примеры использования

Пример #1

Файл: css.inc.php Проект: raimundlandig/winkel.de-DEV

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

Пример #2

Файл: css.font.inc.php Проект: raimundlandig/winkel.de-DEV

function css_font_style($value, $root)
{
    pop_font_style();
    push_font_style(parse_font_style($value));
}