stop the bottom edge of buttons getting clipped in devtools (#8400)

ara4n · web-flow · commit e0076c9f121c · 2022-04-24T18:35:01.000-04:00
diff --git 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
 }

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,6 @@ limitations under the License.`
`26`	`26`	`}`
`27`	`27`
`28`	`28`	`.mx_DevTools_content {`
`29`		`- margin: 10px 0;`
`30`	`29`	`overflow-y: auto;`
`31`	`30`	`height: calc(100% - 124px); // 58px for buttons + 50px for header + 8px margin around`
`32`	`31`	`}`