From 3555ad045babc8ac1d70ead7d057191d8aecae7c Mon Sep 17 00:00:00 2001 From: ioedeveloper Date: Thu, 4 Jul 2024 21:09:58 +0100 Subject: [PATCH] Add padding to right side panel --- libs/remix-ui/app/src/lib/remix-app/style/remix-app.css | 1 + 1 file changed, 1 insertion(+) diff --git a/libs/remix-ui/app/src/lib/remix-app/style/remix-app.css b/libs/remix-ui/app/src/lib/remix-app/style/remix-app.css index 8c56059bfb..a1d447e8a5 100644 --- a/libs/remix-ui/app/src/lib/remix-app/style/remix-app.css +++ b/libs/remix-ui/app/src/lib/remix-app/style/remix-app.css @@ -43,6 +43,7 @@ pre { .pinnedpanel { width : 320px; transition : width 0.25s; + padding-bottom : 1.4rem; } .highlightcode { position : absolute;