From ba43738aa0a567db3def24463a43af31c04e457a Mon Sep 17 00:00:00 2001
From: Max Lehmann <Max@Machine.lan>
Date: Wed, 15 Apr 2020 17:46:07 +0200
Subject: [PATCH] curl

---
 index.html | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 35bc102..baf53a4 100644
--- a/index.html
+++ b/index.html
@@ -53,7 +53,7 @@
 			<section>
 			
 				<!--data-aos="fade-right" data-aos-duration="1000" data-aos-offset="500"-->
-				<div class="filterDiv Ar" id="swarm1">
+				<div class="filterDiv Ar methods" id="swarm1">
 					<h3>SWARM 01</h3>
 					<h1> WE HAVE A USB FULL OF DOCUMENTS </h1>
 					<br>
@@ -3092,6 +3092,11 @@
 				An <a href="https://www.mediawiki.org/w/api.php ">API</a> (Application Programming Interface) is an interface that enables external programs or systems to communicate with the software. The API defines how to access and how to define requests. Some APIs are created specifically for certain programs, others follow industry standards.<br>
 				We used MediaWiki's API to organize and bundle a large amount of material and later in the process also to export the search queries from the Wiki user interface and then, using <a href="#query2html">query2html</a>, converted them to HTML.
 			</p>
+					<div class="checkbox">
+						<input type="checkbox" id="print" name="print">
+						<label for="print">Add to print</label>
+						<br>
+					</div>
 		</div>
 	
 	
@@ -3178,6 +3183,10 @@
 var selectall = document.querySelector("input.selectall");
 selectall.addEventListener("click", function (e) {
 	alert("SELECT ALL");
+	var checkboxes = document.querySelectorAll("input[type=checkbox][name=print]");
+	for (var i=0; i<checkboxes.length; i++) {
+	    checkboxes[i].checked = true;
+	}
 });