-
Notifications
You must be signed in to change notification settings - Fork 2
/
index.html
executable file
·103 lines (87 loc) · 4.49 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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
<meta name="description" content="">
<meta name="author" content="">
<link rel="shortcut icon" href="./favicon.ico" type="image/x-icon">
<link rel="icon" href="./favicon.ico" type="image/x-icon">
<title>RDF Surveyor</title>
<!-- Config file -->
<script type="text/javascript" language="Javascript" src="etc/data/config.js"></script>
<!-- Google Analytics -->
<script>
if (config.gaenabled && config.gaproperty != undefined) {
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
ga('create', config.gaproperty, 'auto');
ga('send', 'pageview');
}
</script>
<!-- End Google Analytics -->
<!-- Bootstrap core CSS -->
<link href="css/bootstrap.min.css" rel="stylesheet">
<!-- Custom styles for this template -->
<link href="css/rdfsurveyor.css" rel="stylesheet">
<!-- Leaflet geo CSS -->
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.0.3/dist/leaflet.css"
integrity="sha512-07I2e+7D8p6he1SIM+1twR5TIrhUQn9+I6yjqD53JQjFiMf8EtC93ty0/5vJTZGF8aAocvHYNEDJajGdNx1IsQ=="
crossorigin=""/>
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!--[if lt IE 9]>
<script src="https://oss.maxcdn.com/html5shiv/3.7.3/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<![endif]-->
<script src="https://unpkg.com/leaflet@1.0.3/dist/leaflet.js"
integrity="sha512-A7vV8IFfih/D732iSSKi20u/ooOfj/AGehOKq0f4vLT1Zr2Y+RX7C+w8A1gaSasGtRUZpF/NZgzSAu4/Gc41Lg=="
crossorigin=""></script>
<script type="text/javascript" language="Javascript" src="libs/lz-string.min.js"></script>
<script type="text/javascript" language="Javascript" src="libs/jquery-3.2.0.min.js"></script>
<script type="text/javascript" language="Javascript" src="libs/bootstrap.min.js"></script>
<script type="text/javascript" language="Javascript" src="libs/underscore-min.js"></script>
<script type="text/javascript" language="Javascript" src="libs/mustache.min.js"></script>
<script type="text/javascript" language="Javascript" src="etc/data/dictionary.js"></script>
<script type="text/javascript" language="Javascript" src="etc/data/queries.js"></script>
<script type="text/javascript" language="Javascript" src="etc/data/preloaded_isolated.js"></script>
<script type="text/javascript" language="Javascript" src="js/reports.js"></script>
<script type="text/javascript" language="Javascript" src="js/query_interface.js"></script>
<script type="text/javascript" language="Javascript" src="js/repo.js"></script>
<script type="text/javascript" language="Javascript" src="js/classes.js"></script>
<script type="text/javascript" language="Javascript" src="js/indivs.js"></script>
<script type="text/javascript" language="Javascript" src="js/search.js"></script>
<script type="text/javascript" language="Javascript" src="js/main.js"></script>
</head>
<body>
<nav class="navbar navbar-inverse navbar-fixed-top">
<div class="container">
<div class="navbar-header">
<button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#myNavbar" id="myCollapse">
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-left" href="./">
<img alt="RDF Surveyor" src="images/surveyor.png" style="display: inline-block; height: 40px; margin-top: 5px">
</a>
</div>
<div class="collapse navbar-collapse" id="myNavbar">
<button id="repo_button" type="button" class="btn btn-default navbar-btn">Repository</button>
<div class="navbar-form navbar-right esconder">
<div class="form-group">
<input id="search_input" type="text" class="form-control" placeholder="Label...">
</div>
<button id="search_button" class="btn btn-default">Search</button>
</div>
</div>
</div>
</nav>
<div id="loader" class="esconder"></div>
<div id="contenedor">
</div>
</body>
</html>