diff editor.css @ 111:b2a3f202d485

Fleshed out the UI a little. Added a "literal" button that replaces the operator panel with a literal panel. Added the navigation buttons, but they're not functional yet.
author Mike Pavone <pavone@retrodev.com>
date Sun, 14 Apr 2013 17:24:53 -0700
parents d715fb3c39ab
children c0cf9444cf88
line wrap: on
line diff
--- a/editor.css	Sat Apr 13 23:37:54 2013 -0700
+++ b/editor.css	Sun Apr 14 17:24:53 2013 -0700
@@ -83,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;
 }
@@ -100,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;
 }
@@ -123,6 +123,11 @@
 	cursor: pointer;
 }
 
+#nav > li
+{
+	min-width: 20mm;
+}
+
 /* AST Nodes */
 #src span
 {