Mercurial > repos > tabletprog
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 } |