2019-02-27 10:01:48 +01:00
|
|
|
<!DOCTYPE html>
|
2019-07-10 20:39:06 +02:00
|
|
|
<html lang='{{ lang }}'>
|
2019-02-27 10:01:48 +01:00
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8" />
|
2019-07-10 20:39:06 +02:00
|
|
|
<title>cyber/technofeminist cross-readings {% block title %}{% endblock %}</title>
|
2019-02-27 10:01:48 +01:00
|
|
|
<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>
|
2019-07-10 20:39:06 +02:00
|
|
|
<body class="{% block view %}{% endblock %}">
|
2019-02-27 10:01:48 +01:00
|
|
|
<div id="txt-list">
|
|
|
|
|
<ul>
|
2019-07-10 20:39:06 +02:00
|
|
|
{% for txt in filenames|sort %}
|
|
|
|
|
{% set name = txt.replace('.txt','') %}
|
2019-02-27 10:01:48 +01:00
|
|
|
<li>
|
2019-07-10 21:19:51 +02:00
|
|
|
<a href="/manifesto/{{ name }}">{{ txt.replace('_', ' ') }}</a><br>
|
|
|
|
|
<a class="contrast" href="/mapping/{{ name }}">◐</a>
|
|
|
|
|
<small><a href="/list/tf/{{ name }}">TF</a></small>
|
|
|
|
|
<small><a href="/list/idf/{{ name }}">IDF</a></small>
|
|
|
|
|
<small><a href="/list/tfidf/{{ name }}">TF-IDF</a></small>
|
2019-02-27 10:01:48 +01:00
|
|
|
</li>
|
|
|
|
|
{% endfor %}
|
|
|
|
|
<ul>
|
|
|
|
|
{% block txtlist %}
|
|
|
|
|
{% endblock %}
|
|
|
|
|
</div>
|
|
|
|
|
<div id="wrapper">
|
2019-07-10 20:39:06 +02:00
|
|
|
<div id="nav">
|
|
|
|
|
<div class="page-button">
|
2019-07-10 21:19:51 +02:00
|
|
|
<a href="/cross-readings">cross-readings</a>
|
2019-02-27 10:01:48 +01:00
|
|
|
</div>
|
2019-07-10 20:39:06 +02:00
|
|
|
<div class="page-button">
|
2019-07-10 21:19:51 +02:00
|
|
|
<a href="/colophon">colophon</a>
|
2019-02-27 10:01:48 +01:00
|
|
|
</div>
|
2019-07-10 20:39:06 +02:00
|
|
|
</div>
|
|
|
|
|
<div id="logo">
|
2019-07-10 21:19:51 +02:00
|
|
|
<a href="/">cyber/technofeminist <br>cross-readings</a>
|
2019-07-10 20:39:06 +02:00
|
|
|
</div>
|
|
|
|
|
{% block search %}
|
|
|
|
|
<div id="search">
|
|
|
|
|
<form id="submitform" action="" method="GET" onsubmit="this.setAttribute('isSubmitting', 'true');">
|
|
|
|
|
<input id="query" name="q" value="{{query}}"/>
|
|
|
|
|
<button id="submit" type="submit"></button>
|
|
|
|
|
</form>
|
|
|
|
|
<script>
|
|
|
|
|
(function () {
|
|
|
|
|
var searching = false,
|
|
|
|
|
button = document.querySelector('#search #submit'),
|
|
|
|
|
submitting = document.querySelector('#submitform').getAttribute('isSubmitting');
|
2019-03-14 13:19:48 +01:00
|
|
|
|
2019-07-10 20:39:06 +02:00
|
|
|
button.addEventListener('click', function (e) {
|
|
|
|
|
if (!searching) {
|
|
|
|
|
searching = true;
|
|
|
|
|
button.classList.add('searching');
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
e.preventDefault();
|
|
|
|
|
alert('Already searching ...');
|
|
|
|
|
}
|
|
|
|
|
})
|
|
|
|
|
})();
|
|
|
|
|
</script>
|
2019-02-27 10:01:48 +01:00
|
|
|
</div>
|
2019-07-10 20:39:06 +02:00
|
|
|
{% endblock %}
|
2019-02-27 10:01:48 +01:00
|
|
|
<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!');
|
2019-07-15 08:15:50 +02:00
|
|
|
window.location.href = '/';
|
2019-02-27 10:01:48 +01:00
|
|
|
} 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";
|
|
|
|
|
}
|
2019-02-27 10:01:48 +01:00
|
|
|
</script>
|
|
|
|
|
</html>
|
