cross-reader/templates/fr/base.html

80 lines
2.1 KiB
HTML
Raw Normal View History

<!DOCTYPE html>
<html lang='fr'>
<head>
<meta charset="utf-8" />
<title>{% block title %}cyber/technofeminist cross-readings{% endblock %}</title>
<link type="text/css" rel="stylesheet" href="{{ url_for('static', filename='css/stylesheet.css')}}" />
<script type="text/javascript" src="{{ url_for('static', filename='js/jquery-3.3.1.min.js')}}"></script>
</head>
<body>
<div id="txt-list">
2019-03-07 23:37:37 +01:00
<p><em>Traitement</em> et <em>calcul croisé</em> à travers les manifestes suivants:</p>
<ul>
{% for filename in filenames | sort %}
<li>
<a href="/{{ lang }}/manifesto/{{ filename | replace('.txt','') }}">{{ filename | prettyfilename }}</a>
2019-03-07 23:37:37 +01:00
<a class="contrast" href="/{{ lang }}/mappings/{{ filename | replace('.txt','') }}"><i></i></a>
</li>
{% endfor %}
<ul>
{% block txtlist %}
{% endblock %}
</div>
<div id="wrapper">
<div id="nav-wrapper">
<div id="colophon_button">
<a href="/en">EN</a> / FR
&nbsp;
2019-03-13 09:07:22 +01:00
<a href="/{{ lang }}/about">à propos</a>
</div>
<div id="logo">
<a href="/{{ lang }}/">cyber/technofeminist <br>cross-readings</a>
</div>
{% block search %}
<div id="search">
<form action="" method="GET">
<input id="query" name="q" value="{{query}}"/>
2019-03-07 23:37:37 +01:00
<input id="submit" type="submit" value="search"/>
</form>
</div>
{% endblock %}
{% block nav %}
{% endblock %}
</div>
<div id="content">
{% block content %}
{% endblock %}
{% block results %}
{% endblock %}
{% block manifesto %}
{% endblock %}
{% block suggestions %}
{% endblock %}
</div>
</div>
</body>
<script>
// refresh when there is no (mouse or keyboard) activity for 5 minutes
var time = new Date().getTime();
$(document.body).bind("mousemove keypress", function(e) {
time = new Date().getTime();
});
function refresh() {
if(new Date().getTime() - time >= 300000){
console.log('refresh!');
window.location.href = '/fr/';
} else {
setTimeout(refresh, 300000);
}
}
setTimeout(refresh, 300000);
2019-03-12 09:35:31 +01:00
// prevent links from opening in new tab
var links = document.links;
for (var i = 0; i < links.length; i++) {
links[i].target = "_self";
}
</script>
</html>