4 <meta charset="utf-8">
\r
5 <title>Results for query ${query}</title>
\r
6 <script type="text/javascript" src="${dataUrl}jquery.min.js"></script>
\r
7 <script type="text/javascript" src="${dataUrl}jquery.tablesorter.min.js"></script>
\r
8 <link rel="stylesheet" href="${dataUrl}search.css" type="text/css" media="screen, print" />
\r
9 <link rel="stylesheet" href="${dataUrl}blue/style.css" type="text/css" media="screen, print" />
\r
12 <body id="index" class="home">
\r
14 <!-- Initialize search input with proper value -->
\r
15 <script type="text/javascript">
\r
16 function go( field ) {
\r
17 window.navigate(window.location.href.replace(window.location.search, "?search=" + encodeURIComponent(field.value)));
\r
20 function queryString( key ) {
\r
21 var re = new RegExp( "[?&]" + key + "=([^&$]*)", "i" );
\r
22 var offset = location.search.search( re );
\r
23 if ( offset == -1 ) return null;
\r
27 $(document).ready(function() {
\r
28 $("#search").value = decodeURIComponent(queryString('search'));
\r
29 if (!("autofocus" in document.createElement("input"))) {
\r
30 $("#search").focus();
\r
34 //$(document).ready(function() { $("#results").tablesorter(); } );
\r
38 <input autofocus size="70" id="search" type="text" name="search" value="${query}" onChange="go(this)" />
\r
41 <span class="resultCountText">
\r
42 <#if resultCount = maxResults>
\r
43 ${resultCount} or more results found.
\r
45 <#if resultCount = 1>
\r
46 ${resultCount} result found.
\r
48 ${resultCount} results found.
\r
54 <#list results as result>
\r
55 <li><div class="result">
\r
56 <a class="emph" href="resource:${result.resource.resource}" <#if result.resource.uri??>title="${result.resource.uri}"</#if>>${result.resource.name}</a>
\r
57 <#if result.principalTypes??>
\r
59 <#list result.principalTypes as type>
\r
60 <a class="small" href="resource:${type.resource}" <#if type.uri??>title="${type.uri}"</#if>>${type.name}</a>
\r
64 <#if result.parent??>
\r
65 is a part of <a class="small" href="resource:${result.parent.resource}" <#if result.parent.uri??>title="${result.parent.uri}"</#if>>${result.parent.name}</a>
\r