diff editor.css @ 126:a2d2d8e09291

Merge
author Mike Pavone <pavone@retrodev.com>
date Mon, 05 Aug 2013 23:37:17 -0700
parents 0a66fe3a368a
children 2b25d0ce2946
line wrap: on
line diff
--- a/editor.css	Mon Aug 05 23:36:18 2013 -0700
+++ b/editor.css	Mon Aug 05 23:37:17 2013 -0700
@@ -44,7 +44,12 @@
 
 #src .selected
 {
-	background-color: yellow;
+	background-color: #FFFFB0;
+}
+
+#src .selectParent
+{
+	background-color: #E0E0E0;
 }
 
 #editor
@@ -78,7 +83,7 @@
 	box-sizing: border-box;
 	-moz-box-sizing: border-box;
 	-webkit-box-sizing: border-box;
-	height: 50%;
+	height: 33%;
 	margin: 0;
 	overflow: auto;
 }
@@ -95,12 +100,12 @@
 	border-bottom-width: 0px;
 }
 
-#editor #operators
+#editor #operators, #editor #literals
 {
 	display: none;
 }
 
-#editor .showops > #operators
+#editor .showops > #operators, #editor .showlit > #literals
 {
 	display: block;
 }
@@ -118,6 +123,11 @@
 	cursor: pointer;
 }
 
+#nav > li
+{
+	min-width: 20mm;
+}
+
 /* AST Nodes */
 #src span
 {
@@ -153,6 +163,11 @@
 	display: block;
 }
 
+.varname:after
+{
+	content: ' <-';
+}
+
 .lambda
 {
 	display: inline;
@@ -200,6 +215,36 @@
 	color: #FF1030;
 }
 
+.string:before, .string:after
+{
+	content: '"';
+}
+
+.listlit:before
+{
+	content: '[';
+}
+
+.listlit:after, .arraylit:after
+{
+	content: ']';
+}
+
+.arraylit:before
+{
+	content: '#[';
+}
+
+.funpart
+{
+	color: #108030;
+}
+
+.args
+{
+	color: #1030C0;
+}
+
 .op > div
 {
 	display: inline-block;