fix some REPL styles

julesfern · May 19, 2012 · 6ba092f · 6ba092f
1 parent 5b33e1c
commit 6ba092f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc-html/css/repl.css b/doc-html/css/repl.css
@@ -132,7 +132,7 @@
 #REPL .text {
   display: block;
   width: 99%;
-  border: none;
+  border: 1px solid #002e43;
 }
 #REPL textarea {
   height: 20em;