diff --git a/arduino-ide-extension/src/browser/style/index.css b/arduino-ide-extension/src/browser/style/index.css index 45a46c470..e4fe0cf7d 100644 --- a/arduino-ide-extension/src/browser/style/index.css +++ b/arduino-ide-extension/src/browser/style/index.css @@ -125,4 +125,4 @@ button.theia-button.main { background-attachment: fixed; background-position: center; transition: opacity 0.8s; -} \ No newline at end of file +} diff --git a/arduino-ide-extension/src/browser/style/sketchbook.css b/arduino-ide-extension/src/browser/style/sketchbook.css index 2c88daa3f..64617d48d 100644 --- a/arduino-ide-extension/src/browser/style/sketchbook.css +++ b/arduino-ide-extension/src/browser/style/sketchbook.css @@ -49,6 +49,10 @@ } +#arduino-sketchbook-tree-widget .theia-TreeNode { + line-height: 30px; +} + #arduino-sketchbook-tree-widget .theia-TreeNodeSegmentGrow { flex: 1; }