1 files changed, 41 insertions, 41 deletions
diff --git a/shell/style.css b/shell/style.css
index 3206cc4..a294994 100644
--- a/shell/style.css
+++ b/shell/style.css
@@ -1,41 +1,41 @@
-body {
-	background-color: black;
-	color: white;
-}
-.login {
-	border: solid 2px white;
-	background: #555555;
-	position: fixed;
-	top: 0; right:0;
-}
-.term {
-	display:block;
-}
-.term, .term * {
-	background-color: black;
-	color: white;
-	white-space: pre-wrap;
-	font-family: monospace;
-	border: none;
-	font-size: 1em;
-}
-.hidden {
-	display:none;
-}
-.term input[type=text],
-.term input[type=text]:focus {
-	height:1em;
-	width: 78em;
-	margin:0; padding:0; border:none;
-}
-.editor {
-	background: #AAAAAA;
-	padding:2em 1em;
-	width: 100%;
-	color: black;
-	height: 24em;
-}
-.editor textarea { width: 90%; height: 22em; }
-form {
-	display: inline;
-}
+body {
+	background-color: black;
+	color: white;
+}
+.login {
+	border: solid 2px white;
+	background: #555555;
+	position: fixed;
+	top: 0; right:0;
+}
+.term {
+	display:block;
+}
+.term, .term * {
+	background-color: black;
+	color: white;
+	white-space: pre-wrap;
+	font-family: monospace;
+	border: none;
+	font-size: 1em;
+}
+.hidden {
+	display:none;
+}
+.term input[type=text],
+.term input[type=text]:focus {
+	/*height:1em;*/
+	width: 78em;
+	margin:0; padding:0; border:none;
+}
+.editor {
+	background: #AAAAAA;
+	padding:2em 1em;
+	width: 100%;
+	color: black;
+	height: 100%;
+}
+.editor textarea { width: 90%; height: 22em; }
+form {
+	display: inline;
+}