protected static function _set_basefont_size($node, $value) { self::$_last_basefont_size = $value; return null; }
protected static function _set_basefont_size($node, $value) { // FIXME: ? we don't actually set the font size of anything here, just // the base size for later modification by <font> tags. self::$_last_basefont_size = $value; return null; }
protected static function _set_basefont_size($node, $value) { // // the base size for later modification by <font> tags. self::$_last_basefont_size = $value; return null; }