Add padding & rounding to MicroPython terminal (#67)

pyscript · May 10, 2024 · 3692eb3 · 3692eb3
1 parent 0c25ff6
commit 3692eb3
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/assets/css/main.css b/assets/css/main.css
@@ -762,3 +762,18 @@ a.examples-block:hover {
     background-color: #FDA803;
     color: #1D1D22;
 }
+
+
+/* ----------------------------------
+ MicroPython Terminal
+-----------------------------------*/
+
+.xterm {
+    padding-left: 1rem;
+    border-radius: 10px;
+    overflow-y: auto;
+}
+
+.xterm .xterm-viewport {
+    border-radius: 10px;
+}