add margin to widgets and add item template to PyList

This commit is contained in:
Fabio Pliger
2022-04-20 18:17:58 -05:00
parent 40c58c3cf1
commit 7c71ba6fde
3 changed files with 58 additions and 53 deletions

View File

@@ -19,7 +19,7 @@ export class PyBox extends HTMLElement {
connectedCallback() {
let mainDiv = document.createElement('div');
addClasses(mainDiv, ["flex"])
addClasses(mainDiv, ["flex", "mx-8"])
// Hack: for some reason when moving children, the editor box duplicates children
// meaning that we end up with 2 editors, if there's a <py-repl> inside the <py-box>