comparison editor.css @ 126:a2d2d8e09291

Merge
author Mike Pavone <pavone@retrodev.com>
date Mon, 05 Aug 2013 23:37:17 -0700
parents 0a66fe3a368a
children 2b25d0ce2946
comparison
equal deleted inserted replaced
125:6f8d868e8da0 126:a2d2d8e09291
42 background-color: yellow; 42 background-color: yellow;
43 } 43 }
44 44
45 #src .selected 45 #src .selected
46 { 46 {
47 background-color: yellow; 47 background-color: #FFFFB0;
48 }
49
50 #src .selectParent
51 {
52 background-color: #E0E0E0;
48 } 53 }
49 54
50 #editor 55 #editor
51 { 56 {
52 display: none; 57 display: none;
76 display: block; 81 display: block;
77 padding: 2px; 82 padding: 2px;
78 box-sizing: border-box; 83 box-sizing: border-box;
79 -moz-box-sizing: border-box; 84 -moz-box-sizing: border-box;
80 -webkit-box-sizing: border-box; 85 -webkit-box-sizing: border-box;
81 height: 50%; 86 height: 33%;
82 margin: 0; 87 margin: 0;
83 overflow: auto; 88 overflow: auto;
84 } 89 }
85 90
86 ul#inscope 91 ul#inscope
93 #editor ul:first-child 98 #editor ul:first-child
94 { 99 {
95 border-bottom-width: 0px; 100 border-bottom-width: 0px;
96 } 101 }
97 102
98 #editor #operators 103 #editor #operators, #editor #literals
99 { 104 {
100 display: none; 105 display: none;
101 } 106 }
102 107
103 #editor .showops > #operators 108 #editor .showops > #operators, #editor .showlit > #literals
104 { 109 {
105 display: block; 110 display: block;
106 } 111 }
107 112
108 #editor li 113 #editor li
116 min-width: 9mm; 121 min-width: 9mm;
117 min-height: 9mm; 122 min-height: 9mm;
118 cursor: pointer; 123 cursor: pointer;
119 } 124 }
120 125
126 #nav > li
127 {
128 min-width: 20mm;
129 }
130
121 /* AST Nodes */ 131 /* AST Nodes */
122 #src span 132 #src span
123 { 133 {
124 border-width: 1px; 134 border-width: 1px;
125 border-style: solid; 135 border-style: solid;
151 { 161 {
152 content: '}'; 162 content: '}';
153 display: block; 163 display: block;
154 } 164 }
155 165
166 .varname:after
167 {
168 content: ' <-';
169 }
170
156 .lambda 171 .lambda
157 { 172 {
158 display: inline; 173 display: inline;
159 } 174 }
160 175
198 .string 213 .string
199 { 214 {
200 color: #FF1030; 215 color: #FF1030;
201 } 216 }
202 217
218 .string:before, .string:after
219 {
220 content: '"';
221 }
222
223 .listlit:before
224 {
225 content: '[';
226 }
227
228 .listlit:after, .arraylit:after
229 {
230 content: ']';
231 }
232
233 .arraylit:before
234 {
235 content: '#[';
236 }
237
238 .funpart
239 {
240 color: #108030;
241 }
242
243 .args
244 {
245 color: #1030C0;
246 }
247
203 .op > div 248 .op > div
204 { 249 {
205 display: inline-block; 250 display: inline-block;
206 } 251 }