From 401c1e5c32a96a871a8ef73629c4c15a26803e58 Mon Sep 17 00:00:00 2001
From: Amanda Ghassaei <amandaghassaei@gmail.com>
Date: Mon, 26 Oct 2015 19:42:14 -0400
Subject: [PATCH] styling
---
css/main.css | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/css/main.css b/css/main.css
index 01c226e3..158ad82e 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;
--
GitLab