patch

css/index.css

@@ -210,4 +210,9 @@
 .ascii-art {
   font-family: monospace;
   white-space: pre;
+}
+
+textarea{
+  width: 40vw;
+  height: 40vh;
 }

js/index.js

@@ -207,8 +207,6 @@ async function gen_chronologie(){
     
                     case 1:
                         const textarea = document.createElement('textarea');
-                        textarea.setAttribute("height","40vh");
-                        textarea.setAttribute("width","65vw")
                         var xmlhttp, text;
                         xmlhttp = new XMLHttpRequest();
                         xmlhttp.open('GET', doc.upload_path, false);