From 047cf20e9c8244f65a0cdc7adff287ed87a23125 Mon Sep 17 00:00:00 2001 From: Felix Lohmeier Date: Wed, 29 Apr 2020 17:18:49 +0200 Subject: [PATCH] style textarea --- css/style.css | 4 ---- index.html | 6 ++++++ js/app.js | 1 + 3 files changed, 7 insertions(+), 4 deletions(-) delete mode 100644 css/style.css diff --git a/css/style.css b/css/style.css deleted file mode 100644 index 59d25df..0000000 --- a/css/style.css +++ /dev/null @@ -1,4 +0,0 @@ -textarea { - width: 100%; - height: 80%; -} diff --git a/index.html b/index.html index 36c5f70..db5f7f8 100644 --- a/index.html +++ b/index.html @@ -9,6 +9,12 @@ +
diff --git a/js/app.js b/js/app.js index 48d0649..d40b61d 100644 --- a/js/app.js +++ b/js/app.js @@ -21,6 +21,7 @@ $("#btn_validate").click( function () { var editor = CodeMirror.fromTextArea(document.getElementById("ta_turtle"), { lineNumbers: true, mode: 'turtle', + viewportMargin: Infinity, theme: 'default' });