function css_line_height($value, $root) { pop_line_height(); // <Number> // The used value of the property is this number multiplied by the element's font size. // Negative values are illegal. The computed value is the same as the specified value. if (preg_match("/^\\d+(\\.\\d+)?\$/", $value)) { push_line_height(new LineHeight_Relative((double) $value)); return; } // <percentage> // The computed value of the property is this percentage multiplied by the element's // computed font size. Negative values are illegal. if (preg_match("/^\\d+%\$/", $value)) { push_line_height(new LineHeight_Relative((double) $value / 100)); return; } // normal // Tells user agents to set the used value to a "reasonable" value based on the font of the element. // The value has the same meaning as <number>. We recommend a used value for 'normal' between 1.0 to 1.2. // The computed value is 'normal'. if (trim($value) === "normal") { push_line_height(default_line_height()); return; } // <length> // The specified length is used in the calculation of the line box height. // Negative values are illegal. push_line_height(new LineHeight_Absolute($value)); }
function pop_css_defaults() { pop_border(); pop_font_family(); pop_font_size(); pop_font_style(); pop_font_weight(); pop_line_height(); global $g_css_handlers; $keys = array_keys($g_css_handlers); foreach ($keys as $key) { $g_css_handlers[$key]->pop(); } }