blob: 815e65a7d9f992d3e7d1b28947579530126e3b1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<html>
{{> head.html}}
<body>
<script>
// legacy querystring-based shortcut redirection (if you use this anywhere,
// please try to avoid it; just removing the ? from the URL is a good way to
// migrate.)
var shortcut_link = window.location.search
if(shortcut_link.length > 0 && shortcut_link[0]==='?') {
setTimeout(function() {
window.location.replace("{{root}}"+shortcut_link.substring(1))
}, 1);
}
</script>
{{> header.html}}
{{> searchform.html}}
{{> bigcards.html}}
{{{body}}}
{{> footer.html}}
</body>
</html>
|
