)([^<]*)(<\/div>)/', array($this,'escape_verbatim'), $html); $html = preg_replace_callback('/(

)([^<]*)(<\/pre>)/', array($this,'escape_verbatim'), $html);
	
		//
		$html = preg_replace_callback('/([^<]*)<\/code>/', array($this,'escape_verb'), $html);
	
		//runbar
		$html = preg_replace('//',
				'\href{http://www.pradosoft.com/demos/quickstart/index.php?page=$1}{$1 Demo}', $html);
	
		//DocLink
		$html = preg_replace('//',
	                        '\href{http://www.pradosoft.com/docs/manual/$1/$2.html}{$1.$2 API Reference}', $html);
	
		//text modifiers
		$html = preg_replace('/([^<]*)<\/b>/', '\textbf{$1}', $html);
		$html = preg_replace('/([^<]*)<\/i>/', '\emph{$1}', $html);
		$html = preg_replace_callback('/([^<]*)<\/tt>/', array($this,'texttt'), $html);
	
		//links
		$html = preg_replace_callback('/]+href="([^"]*)"[^>]*>([^<]*)<\/a>/',
								array($this,'make_link'), $html);
		//anchor
		$html = preg_replace_callback('/]+name="([^"]*)"[^>]*><\/a>/', array($this,'anchor'), $html);
	
		//description 

		$html = preg_replace('/
([^<]*)<\/dt>/', '\item[$1]', $html);
		$html = preg_replace('/<\/?dd>/', '', $html);
		$html = preg_replace('/
/', '\begin{description}', $html);
		$html = preg_replace('/<\/dl>/', '\end{description}', $html);
	
		//item lists
		$html = preg_replace('/
/', '\begin{itemize}', $html);
		$html = preg_replace('/<\/ul>/', '\end{itemize}', $html);
		$html = preg_replace('/
/', '\begin{enumerate}', $html);
		$html = preg_replace('/<\/ol>/', '\end{enumerate}', $html);
		$html = preg_replace('/
/', '\item ', $html);
		$html = preg_replace('/<\/li>/', '', $html);
	
		//headings
		$html = preg_replace('/([^<]+)<\/h1>/', '\section{$2}', $html);
		$html = preg_replace('/([^<]+)<\/h2>/', '\subsection{$2}', $html);
		$html = preg_replace('/([^<]+)<\/h3>/', '\subsubsection{$2}', $html);
	
	
	
		$html = html_entity_decode($html);
	
	
		return $html;
	}
	
	function get_chapter_label($chapter)
	{
		return '\hypertarget{'.str_replace(' ', '', $chapter).'}{}';
	}
	
	function get_section_label($section)
	{
		$section = str_replace('.page', '', $section);
		return '\hypertarget{'.str_replace('/', '.', $section).'}{}';
	}
	
	
	function set_header_id($content, $count)
	{
		self::$header_count = $count*100;
		$content = preg_replace_callback('/
/', array($this,"h1"), $content);
		$content = preg_replace_callback('/
/', array($this,"h2"), $content);
		$content = preg_replace_callback('/
/', array($this,"h3"), $content);
		return $content;
	}
	
	function h1($matches)
	{
		return "
";
	}
	
	function h2($matches)
	{
		return "
";
	}
	
	function h3($matches)
	{
		return "
";
	}
	
}

?>