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