Merge pull request #4024 from ethereum/LianaHus-patch-7

fix text style in editor's hover element
1 year ago · f67a771139
parent 7cb474e6fd 87094283cd
commit f67a771139
1 changed files with 2 additions and 2 deletions
--- a/libs/remix-ui/editor/src/lib/remix-ui-editor.css
+++ b/libs/remix-ui/editor/src/lib/remix-ui-editor.css
@ -1,9 +1,9 @@
 .hover-row {
    white-space: pre;
    margin-left : 10px;
    background : var(--light);    
    font-weight : bold;
    font-family : monospace;
    font-size: smaller;
    padding : 10px;
    border-radius : 10px;
    height: auto;