From 1a9e2f66d85e71d498effab0b737487b5e2e3335 Mon Sep 17 00:00:00 2001 From: "Paul R. Tagliamonte" Date: Wed, 13 Mar 2013 21:13:23 -0400 Subject: [PATCH] updating the repl --- site/coffee/main.coffee | 6 ++++-- site/less/layout.less | 27 +++++++++++++++++++++++---- site/templates/repl.html | 24 ++++++++++++++++-------- 3 files changed, 43 insertions(+), 14 deletions(-) diff --git a/site/coffee/main.coffee b/site/coffee/main.coffee index 5c02cf0..ba1ab3c 100644 --- a/site/coffee/main.coffee +++ b/site/coffee/main.coffee @@ -18,15 +18,17 @@ # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER # DEALINGS IN THE SOFTWARE. +theme = "elegant" + HyCodeMirror = CodeMirror.fromTextArea($('#hython-target')[0], { mode: "clojure", - theme: "twilight", + theme: theme, autofocus: true, }) PyCodeMirror = CodeMirror($('#python-repl')[0], { mode: "python", - theme: "twilight", + theme: theme, readOnly: true, }) diff --git a/site/less/layout.less b/site/less/layout.less index b01c3de..26e8eac 100644 --- a/site/less/layout.less +++ b/site/less/layout.less @@ -5,8 +5,7 @@ body, html { height: 100%; - background-color: #141414; - color: #DCDCDC; + color: #000000; font-family: monospace; .reset; } @@ -26,6 +25,24 @@ h1 { .reset; } +.blueshade { + border-color: rgba(82, 168, 236, 0.8); + outline: 0; + outline: thin dotted \9; + -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6); + -moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6); + box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6); +} + +.repl-root { + margin-top: 2%; + width: 90%; + height: 90%; + margin-left: auto; + margin-right: auto; + .blueshade; +} + #python-repl { .repl; float: right; @@ -34,7 +51,7 @@ h1 { #hython-repl { .repl; float: left; - border-right: 1px solid #DCDCDC; + border-right: 1px solid rgba(82, 168, 236, 0.2); } #hython-target { @@ -46,6 +63,8 @@ h1 { } #build-msgs { - border-top: 1px solid #DCDCDC; + border-top: 1px solid rgba(82, 168, 236, 0.2); height: 10%; + padding: 5px; + color: #777777; } diff --git a/site/templates/repl.html b/site/templates/repl.html index 0d55e46..a24a25d 100644 --- a/site/templates/repl.html +++ b/site/templates/repl.html @@ -5,7 +5,7 @@ {% block head %} - + {% endblock %} @@ -15,11 +15,19 @@ {% endblock %} {% block content %} +
+
{% endblock %}