From dd7fc65e3f6d574753e93ad7ec0a4362e0fc24a9 Mon Sep 17 00:00:00 2001 From: Francesco Spissu Date: Fri, 8 Jul 2022 12:30:57 +0200 Subject: [PATCH 1/3] fix new file dialog buttons padding --- arduino-ide-extension/src/browser/style/dialogs.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/style/dialogs.css b/arduino-ide-extension/src/browser/style/dialogs.css index a775073a5..472205de4 100644 --- a/arduino-ide-extension/src/browser/style/dialogs.css +++ b/arduino-ide-extension/src/browser/style/dialogs.css @@ -22,7 +22,7 @@ } .p-Widget.dialogOverlay .dialogBlock .dialogControl { - padding: 0 0 36px; + padding: 28px 0 36px 0; min-height: 0; } From 3db6eb88e8107ba45d939751f1cd20bb5613f14c Mon Sep 17 00:00:00 2001 From: Francesco Spissu Date: Fri, 8 Jul 2022 13:05:09 +0200 Subject: [PATCH 2/3] use margin for the input instead of padding --- arduino-ide-extension/src/browser/style/dialogs.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/style/dialogs.css b/arduino-ide-extension/src/browser/style/dialogs.css index 472205de4..231018a8a 100644 --- a/arduino-ide-extension/src/browser/style/dialogs.css +++ b/arduino-ide-extension/src/browser/style/dialogs.css @@ -22,7 +22,7 @@ } .p-Widget.dialogOverlay .dialogBlock .dialogControl { - padding: 28px 0 36px 0; + padding: 0 0 36px; min-height: 0; } @@ -30,6 +30,10 @@ padding: 0; } +.p-Widget.dialogOverlay .dialogBlock .dialogContent input { + margin-bottom: 28px; +} + .p-Widget.dialogOverlay .dialogBlock .dialogContent > div { padding: 0 0 12px; } From a74c6437493deacd2f08d9a462f5f8441641f7ea Mon Sep 17 00:00:00 2001 From: Francesco Spissu Date: Fri, 8 Jul 2022 14:21:50 +0200 Subject: [PATCH 3/3] add missing selector --- arduino-ide-extension/src/browser/style/dialogs.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/style/dialogs.css b/arduino-ide-extension/src/browser/style/dialogs.css index 231018a8a..5b6b1e218 100644 --- a/arduino-ide-extension/src/browser/style/dialogs.css +++ b/arduino-ide-extension/src/browser/style/dialogs.css @@ -30,7 +30,7 @@ padding: 0; } -.p-Widget.dialogOverlay .dialogBlock .dialogContent input { +.p-Widget.dialogOverlay .dialogBlock .dialogContent > input { margin-bottom: 28px; }