view example.php @ 7:23dcd1b5e9c4 default tip

add keywords highlighting on searching result
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Mon, 16 Nov 2015 16:58:39 +0100
parents 4b9ae7d500f9
children
line wrap: on
line source

<?php
if (!isset($_POST['passwd'])) {
	header("Location: http://localgazetteers.mpiwg-berlin.mpg.de");
} 
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
    <head>
            <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
            <link href="../index.css" type="text/css" rel="stylesheet"/>
            <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.0/jquery.min.js" type="text/javascript"></script>
            <script src="https://code.jquery.com/ui/1.10.4/jquery-ui.js"></script>
        
    </head>
   	<body>
        <div class='block'>
			<div class='title'>Search and extract 中國方志庫</div>
			<div class='content'>
				<a class='entry' href='./search_results/locust_temples.html' target='_blank'>
					<div class='name'>Show the search result for "locust temples"</div>
					<div class='note'>(Show the saved search result for locust temples. From there, you can begin the tagging/extraction procedure.) </div>
				</a>
				<a class='entry related' href='./search_results' target='_blank'>
					>> All saved search results
				</a>
			</div>
			</div>

    </body>

</html>