Update checkbox styling and add PRO checkbox

docs/assets/css/style.css

@@ -89,13 +89,13 @@ input[type="file"] {
     color: rgb(255 255 255 / 50%);
 }
 
-.header .typeScript {
+.header .checkbox {
     display: flex;
     align-items: center;
     margin-right: 15px;
 }
 
-.header .typeScript input {
+.header .checkbox input {
     margin-right: 5px;
 }
 

docs/assets/js/common.js

@@ -10,11 +10,13 @@
     var $run = document.querySelector('.run');
     var $popups = document.querySelector('.popups');
     var $console = document.querySelector('.console');
+    var $pro = document.querySelector('#pro');
     var $typeScript = document.querySelector('#typeScript');
     var $file = document.querySelector('#file');
 
     var loadedLibs = [];
     window['consoleLog']($console);
+    $pro.checked = localStorage.getItem('pro') === 'true';
     $typeScript.checked = localStorage.getItem('typeScript') === 'true';
 
     var editor = null;
@@ -219,6 +221,11 @@
         }
     });
 
+    $pro.addEventListener('change', function () {
+        localStorage.setItem('pro', $pro.checked ? 'true' : 'false');
+        window.location.reload();
+    });
+
     $typeScript.addEventListener('change', function () {
         localStorage.setItem('typeScript', $typeScript.checked ? 'true' : 'false');
         window.location.reload();