made ui more responsive

include/index.css

@@ -44,4 +44,5 @@ html, body {
 	box-shadow: 2px 2px 3px #999;
 	font-size: 16px;
 	z-index: 9999;
+	border: 2px solid blue;
 }
\ No newline at end of file

index.js

@@ -21,6 +21,10 @@
 			indentUnit: 4,
 			tabsize: 4
 		});
+		var editor = document.querySelector(".CodeMirror").CodeMirror
+		editor.on("change", function (event) {
+			document.getElementById('convert').style.border = "";
+		})
 	})
 	.onEvent("click", function (event) {
 		var gadget = this;
@@ -29,20 +33,23 @@
 		case "convert":
 			return gadget.changeState({update: true});
 		}
-	})		
+	})
 	.onStateChange(function (ignored) {
 		var gadget = this;
 		var editor = document.querySelector(".CodeMirror").CodeMirror;
-		var viewer = document.getElementById("viewer")
+		var viewer = document.getElementById("viewer");
+		var button = document.getElementById('convert');
 		var converter;
 
 		return gadget.getDeclaredGadget("converter")
 			.push(function (subgadget) {
 				converter = subgadget;
+				button.style.border = "2px solid orange";
 				let html = editor.getValue();
 				return converter.convert(html);
 			})
 			.push(function (base64data) {
+				button.style.border = "2px solid green";
 				viewer.src = "data:application/pdf;base64," + base64data;
 			})
 			.push(function () {