diff --git a/arduino-ide-extension/src/browser/style/list-widget.css b/arduino-ide-extension/src/browser/style/list-widget.css index 6c652b2a..78116c55 100644 --- a/arduino-ide-extension/src/browser/style/list-widget.css +++ b/arduino-ide-extension/src/browser/style/list-widget.css @@ -13,14 +13,13 @@ } .filterable-list-container { - padding: 0 10px 0 15px; display: flex; flex-direction: column; align-items: stretch; } .component-list-item { - padding: 10px 0 10px 0; + padding: 10px 10px 10px 15px; font-size: var(--theia-ui-font-size1); } diff --git a/workspace/basic.ino b/workspace/basic.ino deleted file mode 100644 index b9e118c6..00000000 --- a/workspace/basic.ino +++ /dev/null @@ -1,7 +0,0 @@ -void setup() { - -} - -void loop() { - -}