Merge pull request #4959 from ethereum/pinned-panel-updates2

Add padding to right side panel
ethereum · Jul 9, 2024 · 52e70eb · 52e70eb
2 parents b970eac + d708f5a
commit 52e70eb
Showing 1 changed file with 1 addition and 0 deletions.
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
@@ -43,6 +43,7 @@ pre {
 .pinnedpanel           {
   width              : 320px;
   transition         : width 0.25s;
+  padding-bottom     : 1.4rem;
 }
 .highlightcode       {
   position           : absolute;