style textarea

2020-04-29 17:18:49 +02:00 · 2020-04-29 17:18:49 +02:00 · 047cf20e9c
parent 0146f5ed3e
commit 047cf20e9c
3 changed files with 7 additions and 4 deletions
--- a/css/style.css
+++ b/css/style.css
@ -1,4 +0,0 @@
-textarea {
-    width: 100%;
-    height: 80%;
-}
--- a/index.html
+++ b/index.html
@ -9,6 +9,12 @@
    <link rel="stylesheet" href="css/style.css">
    <link rel="stylesheet" href="css/codemirror.css">
    <link rel="stylesheet" href="css/bootstrap.min.css">
+    <style>
+        .CodeMirror {
+          border: 1px solid #eee;
+          height: auto;
+        }
+    </style>
  </head>
  <body>
    <div class="container">
--- 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'
 });