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

Add padding to right side panel
5 months ago · 52e70ebcc9
parent b970eacc2e d708f5ad1b
commit 52e70ebcc9
1 changed files with 1 additions and 0 deletions
--- 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;