diff --git a/css/main.css b/css/main.css index 01c226e3e3d7f05e2ad142fad23d60825633b343..158ad82eeb6d93d995a3bea4cef7697cca35caf4 100644 --- a/css/main.css +++ b/css/main.css @@ -581,14 +581,14 @@ label { border-radius: 0; } #consoleOutput{ - min-height:42px; + min-height:38px; background-color: rgba(255,255,255,0.8); border: 2px solid #bdc3c7; border-bottom-width: 0; border-top-width: 0; overflow: auto; resize: vertical; - padding: 10px 20px; + padding: 8px 20px; font-family: Courier, monospace; font-size: 13px; line-height: 25px;