concordia-server/cat/index.html_pattern

55 lines
1.9 KiB
Plaintext
Raw Permalink Normal View History

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>