From 13fb218225eef3ddf29271758b24b5413eeb9eb7 Mon Sep 17 00:00:00 2001 From: Matthew Hodgson Date: Sun, 24 Apr 2022 13:49:50 -0400 Subject: [PATCH] stop the bottom edge of buttons getting clipped in devtools --- res/css/views/dialogs/_DevtoolsDialog.scss | 1 - 1 file changed, 1 deletion(-) diff --git a/res/css/views/dialogs/_DevtoolsDialog.scss b/res/css/views/dialogs/_DevtoolsDialog.scss index ca82b82ee14..b1fed0d29bd 100644 --- a/res/css/views/dialogs/_DevtoolsDialog.scss +++ b/res/css/views/dialogs/_DevtoolsDialog.scss @@ -26,7 +26,6 @@ limitations under the License. } .mx_DevTools_content { - margin: 10px 0; overflow-y: auto; height: calc(100% - 124px); // 58px for buttons + 50px for header + 8px margin around }