2021-06-29 19:54:51 +02:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html lang='en'>
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8" />
|
|
|
|
|
<title>{{ title }}</title>
|
|
|
|
|
{% block head %}
|
2021-09-08 15:33:56 +02:00
|
|
|
<link rel="stylesheet" type="text/css" href="{{ url_for('static', filename='css/main.css')}}">
|
2021-06-29 19:54:51 +02:00
|
|
|
{% endblock %}
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
{% block nav %}
|
|
|
|
|
{% endblock %}
|
|
|
|
|
<div id="wrapper">
|
|
|
|
|
{% block content %}
|
|
|
|
|
{% endblock %}
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
2021-09-08 15:33:56 +02:00
|
|
|
{% block footer %}
|
2021-06-29 19:54:51 +02:00
|
|
|
<script>
|
|
|
|
|
window.addEventListener('load', function () {
|
|
|
|
|
|
|
|
|
|
// Insert the nav buttons, after the page is loaded
|
|
|
|
|
const nav = document.createElement('div');
|
|
|
|
|
nav.id = 'nav';
|
2021-06-30 19:42:14 +02:00
|
|
|
nav.innerHTML = '<a id="home" href="/"><button>/</button></a> <a id="notes" href="/notes/"><button>notes</button></a> <a id="pdf" href="/pagedjs/"><button>pdf</button></a> <a id="inspect" href="/inspect/"><button>inspect</button></a> <a id="stylesheet" href="/stylesheet/"><button>stylesheet</button></a>: <input type="text" name="pad" value="https://pad.vvvvvvaria.org/volumetric-regimes.css"> <a id="update" href="/update/" onclick="loading()"><button>update</button></a><div id="loading">loading</div>';
|
2021-06-29 19:54:51 +02:00
|
|
|
document.body.insertBefore(nav, document.body.firstChild)
|
|
|
|
|
})
|
2021-06-30 19:42:14 +02:00
|
|
|
function loading(){
|
2021-06-29 19:54:51 +02:00
|
|
|
const loading = document.getElementById("loading");
|
2021-06-30 19:42:14 +02:00
|
|
|
loading.style.display = 'block';
|
2021-06-29 19:54:51 +02:00
|
|
|
}
|
|
|
|
|
</script>
|
|
|
|
|
{% endblock %}
|
|
|
|
|
</html>
|
