small improvement to pad spacing

Author: kaikalii

site/src/editor/mod.rs

@@ -1477,13 +1477,7 @@ pub fn Editor<'a>(
                             <div class="line-numbers">
                                 { line_numbers }
                             </div>
-                            <div
-                                class="code-and-overlay">
-                                <div
-                                    id=overlay_id
-                                    class="code-overlay">
-                                    { move || gen_code_view(&overlay.get()) }
-                                </div>
+                            <div class="code-and-overlay">
                                 /////////////////////////
                                 // The text entry area //
                                 /////////////////////////
@@ -1493,13 +1487,19 @@ pub fn Editor<'a>(
                                     autocorrect="false"
                                     autocapitalize="off"
                                     spellcheck="false"
+                                    translate="no"
                                     on:paste=code_paste
                                     on:input=code_input
                                     on:mousemove=code_mouse_move
                                     on:mouseleave=code_mouse_leave
                                     value=initial_code_str>
                                 </textarea>
                                 /////////////////////////
+                                <div
+                                    id=overlay_id
+                                    class="code-overlay">
+                                    { move || gen_code_view(&overlay.get()) }
+                                </div>
                             </div>
                         </div>
                         <div id="code-right-side">

site/styles.css

@@ -470,10 +470,12 @@ input[type=number] {
 }
 
 .code-entry {
+    margin: 0.1em 0 0 0;
+    padding: 0;
+    position: absolute;
     outline: none;
     border: none;
-    padding: 0.15em 0 0.15em 0;
-    margin: 0 0 0 0;
+    box-sizing: border-box;
     /* background-color: #0002; */
     /* color: #0008; */
     background-color: transparent;
@@ -494,6 +496,8 @@ input[type=number] {
 }
 
 .code-overlay {
+    margin: 0;
+    padding: 0;
     position: absolute;
     width: 100%;
     pointer-events: none;