diff editor.css @ 118:0a66fe3a368a

Allow selection and navigation of assignment nodes.
author Mike Pavone <pavone@retrodev.com>
date Mon, 15 Apr 2013 21:55:26 -0700
parents 9cf3e0b18ecc
children 2b25d0ce2946
line wrap: on
line diff
--- a/editor.css	Mon Apr 15 21:35:37 2013 -0700
+++ b/editor.css	Mon Apr 15 21:55:26 2013 -0700
@@ -163,6 +163,11 @@
 	display: block;
 }
 
+.varname:after
+{
+	content: ' <-';
+}
+
 .lambda
 {
 	display: inline;