-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
68 lines (68 loc) · 4.23 KB
/
index.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
59
60
61
62
63
64
65
66
67
68
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<!-- <meta http-equiv="X-UA-Compatible" content="IE=EmulateIE7" /> -->
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link rel="stylesheet" type="text/css" href="./ext/resources/css/ext-all.css" />
<link rel="stylesheet" type="text/css" href="./css/application.css" />
<link rel="stylesheet" type="text/css" href="./ext.ux/form.fileuploadfield.css" />
<link rel="stylesheet" type="text/css" href="./ext.ux/grid.treegridpanel.css" />
<script type="text/javascript" src="./ext/adapter/ext/ext-base.js"></script>
<script type="text/javascript" src="./ext/ext-all-debug.js"></script>
<script type="text/javascript" src="./ext.ux/util.js"></script>
<script type="text/javascript" src="./ext.ux/grid.bufferview.js"></script>
<script type="text/javascript" src="./ext.ux/grid.treegridpanel.js"></script>
<script type="text/javascript" src="./ext.ux/grid.autosizecolumns.js"></script>
<script type="text/javascript" src="./ext.ux/tree.treefilterx.js"></script>
<script type="text/javascript" src="./ext.ux/tree.arraytreepanel.js"></script>
<script type="text/javascript" src="./ext.ux/form.fieldpanel.js"></script>
<script type="text/javascript" src="./ext.ux/form.fileuploadfield.js"></script>
<script type="text/javascript" src="./ext.ux/form.treefilterfield.js"></script>
<script type="text/javascript" src="./ext.ux/form.searchfield.js"></script>
<script type="text/javascript" src="./js/config.js"></script>
<script type="text/javascript" src="./js/support.js"></script>
<script type="text/javascript" src="./js/stemmer.js"></script>
<script type="text/javascript" src="./js/windows.help.js"></script>
<script type="text/javascript" src="./js/windows.savequery.js"></script>
<script type="text/javascript" src="./js/windows.saveresults.js"></script>
<script type="text/javascript" src="./js/windows.loading.js"></script>
<script type="text/javascript" src="./js/windows.fields.js"></script>
<script type="text/javascript" src="./js/windows.datasets.js"></script>
<script type="text/javascript" src="./js/field.js"></script>
<script type="text/javascript" src="./js/form.facetfield.js"></script>
<script type="text/javascript" src="./js/header.js"></script>
<script type="text/javascript" src="./js/footer.js"></script>
<script type="text/javascript" src="./js/query.simple.js"></script>
<script type="text/javascript" src="./js/query.guided.js"></script>
<script type="text/javascript" src="./js/query.advanced.js"></script>
<script type="text/javascript" src="./js/query.user.js"></script>
<script type="text/javascript" src="./js/query.js"></script>
<script type="text/javascript" src="./js/results.tabular.js"></script>
<script type="text/javascript" src="./js/results.itemized.js"></script>
<script type="text/javascript" src="./js/results.mapped.js"></script>
<script type="text/javascript" src="./js/results.aggregated.js"></script>
<script type="text/javascript" src="./js/results.js"></script>
<script type="text/javascript" src="./js/main.js"></script>
<script type="text/javascript" src="./js/service.js"></script>
<script type="text/javascript" src="./js/application.js"></script>
</head>
<body>
<noscript>
<p>
It appears that you do not have javascript enabled in your browser.<br/>
Unfortunately this application will not function without javascript.<br/>
Please <a href="http://www.google.com/search?q=enable+javascript">enable javascript</a> in your browser and reload the page.
</p>
</noscript>
<!-- <script type="text/javascript"> -->
<!-- var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); -->
<!-- document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); -->
<!-- </script> -->
<!-- <script type="text/javascript"> -->
<!-- try { -->
<!-- var pageTracker = _gat._getTracker("UA-10696250-1"); -->
<!-- pageTracker._trackPageview(); -->
<!-- } catch(err) {} -->
<!-- </script> -->
</body>
</html>