2020-05-31 17:48:13 +02:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
2020-07-11 11:48:27 +02:00
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8">
|
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
|
|
|
<link rel="stylesheet" href="/bulma.min.css">
|
2020-07-13 23:51:41 +02:00
|
|
|
<link rel="stylesheet" href="/bulma-prefers-dark.min.css">
|
2020-07-11 11:48:27 +02:00
|
|
|
<link rel="stylesheet" href="/style.css">
|
|
|
|
|
<script type="text/javascript" src="/jquery-3.4.1.min.js"></script>
|
2020-07-11 14:17:37 +02:00
|
|
|
<script type="text/javascript" src="/filesize.min.js"></script>
|
|
|
|
|
<title>{{ db_name }} | The milli engine</title>
|
2020-07-11 11:48:27 +02:00
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
|
|
|
|
|
<section class="hero is-light">
|
|
|
|
|
<div class="hero-body">
|
|
|
|
|
<div class="container">
|
2020-07-15 23:51:12 +02:00
|
|
|
|
2020-07-16 23:45:02 +02:00
|
|
|
<div class="columns is-flex is-centered mb-6">
|
2020-07-15 23:51:12 +02:00
|
|
|
<figure class="image is-128x128">
|
|
|
|
|
<img id="logo-white" src="logo-white.svg" alt="milli logo in white">
|
|
|
|
|
<img id="logo-black" src="logo-black.svg" alt="milli logo in black">
|
|
|
|
|
</figure>
|
|
|
|
|
</div>
|
|
|
|
|
|
2020-07-11 11:48:27 +02:00
|
|
|
<nav class="level">
|
|
|
|
|
<div class="level-item has-text-centered">
|
|
|
|
|
<div>
|
2020-07-11 14:51:59 +02:00
|
|
|
<p class="heading">Database Name</p>
|
2020-07-11 14:17:37 +02:00
|
|
|
<p class="title">{{ db_name }}</p>
|
2020-07-11 11:48:27 +02:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
<div class="level-item has-text-centered">
|
|
|
|
|
<div>
|
|
|
|
|
<p class="heading">Database Size</p>
|
2020-08-28 15:38:05 +02:00
|
|
|
<p class="title" id="db-size">{{ db_size }}</p>
|
2020-07-11 11:48:27 +02:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
<div class="level-item has-text-centered">
|
|
|
|
|
<div>
|
|
|
|
|
<p class="heading">Number of Documents</p>
|
2020-07-11 14:17:37 +02:00
|
|
|
<p class="title" id="docs-count">{{ docs_count }}</p>
|
2020-07-11 11:48:27 +02:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</nav>
|
2020-05-31 17:48:13 +02:00
|
|
|
</div>
|
2020-07-11 11:48:27 +02:00
|
|
|
</div>
|
|
|
|
|
</section>
|
|
|
|
|
|
|
|
|
|
<section class="hero container">
|
|
|
|
|
<div class="notification" style="border-radius: 0 0 4px 4px;">
|
|
|
|
|
|
|
|
|
|
<nav class="level">
|
|
|
|
|
<!-- Left side -->
|
|
|
|
|
<div class="level-left">
|
|
|
|
|
<div class="level-item">
|
|
|
|
|
<div class="field has-addons has-addons-right">
|
2020-11-14 14:01:41 +01:00
|
|
|
<input id="query" class="input" type="text" autofocus placeholder="e.g. George Clooney">
|
|
|
|
|
<input id="facet" class="input" type="text" placeholder="facet filter like released >= 1577836800">
|
2020-05-31 17:48:13 +02:00
|
|
|
</div>
|
2020-07-11 11:48:27 +02:00
|
|
|
</div>
|
2020-07-11 14:51:59 +02:00
|
|
|
<div class="level-item"></div>
|
2020-05-31 17:48:13 +02:00
|
|
|
</div>
|
|
|
|
|
|
2020-07-11 11:48:27 +02:00
|
|
|
<!-- Right side -->
|
|
|
|
|
<nav class="level-right">
|
|
|
|
|
<div class="level-item has-text-centered">
|
|
|
|
|
<div>
|
|
|
|
|
<p class="heading">Documents</p>
|
|
|
|
|
<p id="count" class="title">0</p>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
2020-07-16 23:45:02 +02:00
|
|
|
<div class="level-item has-text-centered">
|
|
|
|
|
</div>
|
2020-07-11 11:48:27 +02:00
|
|
|
<div class="level-item has-text-centered">
|
|
|
|
|
<div>
|
|
|
|
|
<p class="heading">Time Spent</p>
|
|
|
|
|
<p id="time" class="title">0ms</p>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</nav>
|
|
|
|
|
</nav>
|
2020-05-31 17:48:13 +02:00
|
|
|
|
2020-07-11 11:48:27 +02:00
|
|
|
</div>
|
|
|
|
|
</section>
|
2020-05-31 17:48:13 +02:00
|
|
|
|
2020-07-11 11:48:27 +02:00
|
|
|
<section>
|
|
|
|
|
<ol id="results" class="content">
|
|
|
|
|
<!-- documents matching requests -->
|
|
|
|
|
</ol>
|
|
|
|
|
</section>
|
2020-10-19 19:57:15 +02:00
|
|
|
|
2020-07-11 11:48:27 +02:00
|
|
|
</body>
|
2020-05-31 17:48:13 +02:00
|
|
|
|
2020-07-11 11:48:27 +02:00
|
|
|
<script type="text/javascript" src="/script.js"></script>
|
2020-05-31 17:48:13 +02:00
|
|
|
|
|
|
|
|
</html>
|
