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

Add padding to right side panel
5 months ago · 6267c00749
parent 6790552bc8 eecd6bd5d1
commit 6267c00749
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;