function GenericBox()
 {
     $this->_left = 0;
     $this->_top = 0;
     $this->baseline = 0;
     $this->default_baseline = 0;
     // Generic CSS properties
     // Save CSS property values
     $base_font_size = get_base_font_size();
     // 'color'
     $handler = get_css_handler('color');
     $this->color = $handler->get();
     // 'font-size'
     $this->font_size = units2pt(get_font_size(), $base_font_size);
     // 'font-family'
     $this->family = get_font_family();
     // 'font-weight'
     $this->weight = get_font_weight();
     // 'font-style'
     $this->style = get_font_style();
     // 'text-decoration'
     $handler = get_css_handler('text-decoration');
     $this->decoration = $handler->get();
 }
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 ps_set_font($encoding)
{
    global $g_font_resolver;
    $data = get_font_size() . " " . $g_font_resolver->ps_font_family(get_font_family(), get_font_weight(), get_font_style(), $encoding);
    return $data;
}