From 97874a232f33fb62403547ca2f618f0a29db3692 Mon Sep 17 00:00:00 2001
From: Max Lehmann <Max@Machine.local>
Date: Fri, 17 Apr 2020 17:13:45 +0200
Subject: [PATCH] curl

---
 index.html | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/index.html b/index.html
index 8f2d997..d96af41 100644
--- a/index.html
+++ b/index.html
@@ -1411,7 +1411,7 @@
 			</div>
 		
 		
-		<div class="filterDiv" tools id="semanticqueries">
+		<div class="filterDiv tools" id="semanticqueries">
 			<h4 class="title-element">Semantic queries</h4>
 			<div class="placeholder"> 
 				<img src="img/icon13.svg" alt="icon" width="100">
@@ -1608,7 +1608,6 @@
 			<div class="checkbox">
 				<input type="checkbox" id="print" name="print">
 				<label for="print">Add to print</label>
-				<br>
 			</div>
 		</div>
 		
@@ -3263,7 +3262,8 @@
 			</div>
 		
 		
-			<div class="filterDiv Swarm3 tools" id="pandoc">
+			<div class="filterDiv Swarm3 tools">
+			<div class="pandoc_empty" id="pandoc"></div>
 				<h4 class="title-element">Pandoc</h4>
 				<div class="placeholder">
 					<img src="img/icon05.svg" alt="icon" width="100">
@@ -3286,6 +3286,7 @@
 		
 			
 			<div class="filterDiv Swarm3 tools" id="htmlcssjs">
+			<div class="htmlcssjs" id="htmlcssjs"></div>
 				<h4 class="title-element">HTML, CSS, JS</h4>
 				<div class="placeholder" >
 					<img src="img/icon10.svg" alt="icon" width="100">