curl

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">