{ -*- buffer-read-only: t -*- }
{ DON'T EDIT -- this file was automatically generated from "_tipue_results.html" }
'<!DOCTYPE html>' + LineEnding +
'<html lang="###-PASDOC-LANGUAGE-###">' + LineEnding +
'<head>' + LineEnding +
'<title>Search Results</title>' + LineEnding +
'' + LineEnding +
'###-PASDOC-HEAD-###' + LineEnding +
'' + LineEnding +
'<!-- Note that we use a local jquery copy (not from Google Hosted Libraries), to work offline -->' + LineEnding +
'<script type="text/javascript" src="tipuesearch/jquery.min.js"></script>' + LineEnding +
'<script type="text/javascript" src="tipuesearch/tipuesearch_data.js"></script>' + LineEnding +
'<script type="text/javascript" src="tipuesearch/tipuesearch_set.js"></script>' + LineEnding +
'<script type="text/javascript" src="tipuesearch/tipuesearch.js"></script>' + LineEnding +
'' + LineEnding +
'</head>' + LineEnding +
'<body>' + LineEnding +
'' + LineEnding +
'###-PASDOC-BODY-BEGIN-###' + LineEnding +
'' + LineEnding +
'<h1>Search results</h1>' + LineEnding +
'' + LineEnding +
'<div id="tipue_search_content"></div>' + LineEnding +
'' + LineEnding +
'###-PASDOC-BODY-END-###' + LineEnding +
'' + LineEnding +
'</body>' + LineEnding +
'</html>' + LineEnding +
''
