blah2/html/index.html

112 lines
2.4 KiB
HTML
Raw Normal View History

2023-05-04 11:25:37 +00:00
<!DOCTYPE html>
<html>
<head>
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta charset="UTF-8">
2023-10-27 05:53:42 +00:00
<meta http-equiv="Cache-Control" content="no-cache, no-store, must-revalidate">
<meta http-equiv="Pragma" content="no-cache">
<meta http-equiv="Expires" content="0">
2023-05-04 11:25:37 +00:00
<title>blah2</title>
<!-- load lib js -->
<script src="./lib/bootstrap-5.2.3.min.js"></script>
<script src="./lib/plotly-2.20.0.min.js"></script>
<script src="./lib/jquery-3.6.4.min.js"></script>
2023-05-04 11:25:37 +00:00
<!-- load lib css -->
<link rel="stylesheet" href="./lib/bootstrap-5.2.3.min.css">
2023-05-04 11:25:37 +00:00
<style>
h1 {
font-family: 'Helvetica', sans-serif !important;
font-weight: bold;
font-size: 3.5rem !important;
}
.menu {
font-family: 'Helvetica', sans-serif !important;
font-size: 1.5rem;
font-weight: bold;
}
.title {
font-family: 'Helvetica', sans-serif !important;
font-size: 1.5rem;
font-weight: bold;
text-decoration: underline;
}
.label {
font-family: 'Helvetica', sans-serif !important;
font-size: 1rem;
}
@media (min-width: 768px) {
h1 {
font-family: 'Helvetica', sans-serif !important;
font-weight: bold;
font-size: 5rem !important;
}
.menu {
font-family: 'Helvetica', sans-serif !important;
font-size: 2rem;
}
.title {
font-family: 'Helvetica', sans-serif !important;
font-size: 2.5rem;
font-weight: bold;
text-decoration: underline;
}
.label {
font-family: 'Helvetica', sans-serif !important;
font-size: 2rem;
}
}
.navbar-nav {
flex-wrap: wrap;
}
div.plotly-notifier {
visibility: hidden;
}
</style>
</head>
<body style="background-color:#f78c58;">
<div style="height: 100vh; width: 95vw" class="container-fluid">
2023-05-04 11:25:37 +00:00
<div style="height: 100vh; width: 95vw" class="row d-flex">
2023-05-04 11:25:37 +00:00
<div class="justify-content-center" id="data"></div>
2023-05-04 11:25:37 +00:00
</div>
</body>
<script>
var host = window.location.hostname;
var isLocalHost = (host === "localhost" || host === "127.0.0.1" || host === "192.168.0.112");
var urlMap = ''
if (isLocalHost) {
urlMap = '//' + host + ':3000/api/map?timestamp=' + Date.now();
} else {
urlMap = '//' + host + '/api/map?timestamp=' + Date.now();
}
</script>
<script src="js/plot_map.js"></script>
2023-05-04 11:25:37 +00:00
<script src="control.js"></script>
</html>