2015-10-20 20:16:00 +02:00
|
|
|
<html>
|
|
|
|
<head>
|
|
|
|
<script src="../js/jquery-1.11.3.min.js"></script>
|
|
|
|
<script src="../js/cat.js"></script>
|
2017-02-22 10:29:15 +01:00
|
|
|
<link rel="stylesheet" href="../css/concordia_cat.css" />
|
2019-01-17 14:58:22 +01:00
|
|
|
<title>Concordia</title>
|
2015-10-20 20:16:00 +02:00
|
|
|
<meta charset="UTF-8">
|
|
|
|
</head>
|
|
|
|
<body>
|
2015-10-21 09:02:40 +02:00
|
|
|
<script>
|
|
|
|
var concordiaUrl = 'http://@concordia_host@:@concordia_port@';
|
2016-01-21 16:51:23 +01:00
|
|
|
var currentTmId = @tmid@;
|
2015-10-21 09:02:40 +02:00
|
|
|
|
|
|
|
$(document).ready(function() {
|
2016-01-21 13:12:46 +01:00
|
|
|
$('#search-input').bind("enterKey",function(e){
|
2016-01-21 16:51:23 +01:00
|
|
|
searchHandle(currentTmId);
|
2015-10-21 09:02:40 +02:00
|
|
|
});
|
2016-01-21 13:12:46 +01:00
|
|
|
$('#search-input').keyup(function(e){
|
2015-10-21 09:02:40 +02:00
|
|
|
if(e.keyCode == 13) {
|
|
|
|
$(this).trigger("enterKey");
|
|
|
|
}
|
|
|
|
});
|
|
|
|
});
|
|
|
|
|
|
|
|
</script>
|
2015-10-20 20:16:00 +02:00
|
|
|
<div id="header">
|
|
|
|
</div>
|
|
|
|
<div id="content">
|
2016-01-15 21:21:22 +01:00
|
|
|
<section id="banner">
|
|
|
|
<h1>Concordia</h1>
|
|
|
|
<img class="banner-bg" src="../images/banner-thin.png" alt="Banner">
|
|
|
|
<img class="banner-icon" src="../images/concordia-thin.png" alt="Banner">
|
|
|
|
</section><!-- // end #banner -->
|
|
|
|
<div id="help" class="hidden">
|
|
|
|
<p>@desc@</p>
|
|
|
|
<p>@enjoy@</p>
|
2016-01-21 13:12:46 +01:00
|
|
|
<div id="suggestions">
|
2016-01-15 21:21:22 +01:00
|
|
|
<ul>@suggestions@</ul>
|
|
|
|
<br/><br/>
|
|
|
|
</div>
|
2016-01-21 13:12:46 +01:00
|
|
|
<label for="search-input">@prompt@</label>
|
2015-10-20 20:16:00 +02:00
|
|
|
</div>
|
2016-01-21 13:12:46 +01:00
|
|
|
<input id="search-input" type="text" value="" />
|
2016-01-21 16:51:23 +01:00
|
|
|
<img id="search-icon" src="../images/search.png" alt="search" onclick="searchHandle(currentTmId)" title="search"/>
|
2016-01-15 21:21:22 +01:00
|
|
|
<img id="help-icon" src="../images/help.png" alt="help" onclick="toggleHelp()" title="show/hide help"/>
|
2015-10-20 20:16:00 +02:00
|
|
|
<div id="result">
|
2017-02-22 10:29:15 +01:00
|
|
|
|
2015-10-20 20:16:00 +02:00
|
|
|
</div>
|
2019-01-17 12:20:36 +01:00
|
|
|
<input type="hidden" id="current-offset" value="0" />
|
2019-01-22 14:32:25 +01:00
|
|
|
<div id="occurrences">
|
2019-01-17 12:20:36 +01:00
|
|
|
</div>
|
2015-10-20 20:16:00 +02:00
|
|
|
</div>
|
|
|
|
</body>
|
|
|
|
</html>
|