-
Notifications
You must be signed in to change notification settings - Fork 0
/
template.html
58 lines (51 loc) · 2.14 KB
/
template.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
#export header
<!doctype html>
<!-- $%css$ -->
<!-- $%js$ -->
<!-- $%query$ -->
<!-- $%queryHyphen$ -->
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Hoogle</title>
<!-- Bootstrap -->
<link rel="stylesheet" href="//netdna.bootstrapcdn.com/bootstrap/3.1.1/css/bootstrap.min.css">
<!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queri es -->
<!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
<!--[if lt IE 9]>
<script src="//oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
<script src="//oss.maxcdn.com/libs/respond.js/1.4.2/respond.min.js"></script>
<![endif]-->
<link rel="stylesheet" href="//cdn.datatables.net/1.10.0/css/jquery.dataTables.css">
<link rel="stylesheet" href="res/hoogle.css?_=$%css$">
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.11.0/jquery.min.js"></script>
<script src="//netdna.bootstrapcdn.com/bootstrap/3.1.1/js/bootstrap.min.js"></script>
<script src="//cdn.datatables.net/1.10.0/js/jquery.dataTables.js"></script>
<script type="text/javascript" src="res/hoogle.js?_=$%js$"></script>
</head>
<body>
<div class="container-fluid">
<div class="row">
<div id="left" class="col-md-3">
<form id="hoogle-form" action="#">
<input id="hoogle-input" name="hoogle" type="search" class="form-control" value="$&query$" autocomplete="off" autofocus>
</form>
<table id="hoogle-table" class="table table-condensed table-striped"></table>
#export footer
</div>
<div id="right" class="col-md-9">
<iframe name="hoogle-frame"></iframe>
</div>
</div>
</div><!-- /.container -->
<!-- $%version$ -->
</body>
</html>
#export welcome
<pre id="hoogle-error" class="bg-danger" style="display: none;"></pre>
#export parseError
<!-- $!errFormat$ -->
<!-- $&errMessage$ -->
<pre id="hoogle-error" class="bg-danger" style="display: block;">$!errMessage$</pre>