fix autoscroll + clean css

Author: Jean-Baptiste Doderlein

src/css/index.css

@@ -620,86 +620,6 @@ py-terminal {
 
 /* Syntax highligthing */
 
-.caml {
-    color: var(--code-caml);
-}
-
-.stderr {
-    color: var(--code-error);
-}
-
-.stdout {
-    color: var(--code-text-color);
-}
-
-.errorloc {
-    border-bottom-color: var(--code-error);
-}
-
-.sharp .id {
-    color: var(--code-variable);
-}
-
-.sharp .kw0 {
-    color: var(--code-keyword);
-}
-
-.sharp .kw1 {
-    color: var(--code-keyword);
-}
-
-.sharp .kw2 {
-    color: var(--code-builtin);
-}
-
-.sharp .kw3 {
-    color: var(--code-builtin);
-}
-
-.sharp .kw4 {
-    color: var(--code-builtin);
-}
-
-.sharp .comment {
-    color: var(--code-comment);
-    font-style: italic;
-}
-
-.sharp .string {
-    color: var(--code-string);;
-}
-
-.sharp .text {
-    color: var(--code-text-color);
-}
-
-.sharp .numeric {
-    color: var(--code-number);
-}
-
-.sharp .directive {
-    font-style: italic;
-    color: var(--code-def);
-}
-
-.sharp .escape {
-    color: var(--code-escape);
-}
-
-.sharp .symbol0 {
-    color: var(--code-symbol);
-    font-weight: bold;
-}
-
-.sharp .symbol1 {
-    color: var(--code-symbol);
-    font-weight: bold;
-}
-
-.sharp .constant {
-    color: var(--code-constant);
-}
-
 .CodeMirror .cm-keyword {
     color: var(--code-keyword)
 }

src/js/editor_change.js

@@ -49,7 +49,7 @@ let clean_content = function (content) {
  * Auto scroll down output interpreter
  */
 function autoscroll_output() {
-    let container = document.getElementById("toplevel-container");
+    let container = document.getElementsByClassName("xterm-viewport")[0];
     container.scrollTop = container.scrollHeight;
 }