curl

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;
+	}
 });