comparison editor.css @ 26:fe593c1df568

Display receiver arg in editor. Improve formatting in editor.
author Mike Pavone <pavone@retrodev.com>
date Wed, 04 Apr 2012 23:15:00 -0700
parents 4d87c38404d6
children ae913b642040
comparison
equal deleted inserted replaced
25:4d87c38404d6 26:fe593c1df568
9 body > div 9 body > div
10 { 10 {
11 margin: 0; 11 margin: 0;
12 } 12 }
13 13
14 *
15 {
16 vertical-align: top;
17 }
18
14 .controls 19 .controls
15 { 20 {
16 width: 15%; 21 width: 15%;
17 height: 100%; 22 height: 100%;
18 display: inline-block; 23 display: inline-block;
19 padding: 0; 24 padding: 0;
20 margin: 0; 25 margin: 0;
21 vertical-align: top;
22 } 26 }
23 27
24 #src 28 #src
25 { 29 {
26 width: 70%; 30 width: 70%;
121 border-style: solid; 125 border-style: solid;
122 border-color: lightgrey; 126 border-color: lightgrey;
123 display: inline-block; 127 display: inline-block;
124 } 128 }
125 129
130 .object
131 {
132 display: inline;
133 }
134
135 .object > *
136 {
137 margin-left: 2em;
138 }
126 139
127 .object:before 140 .object:before
128 { 141 {
129 content: '#'; 142 content: '#{';
143 }
144
145 .object:after
146 {
147 content: '}';
148 display: block;
130 } 149 }
131 150
132 .lambda 151 .lambda
133 { 152 {
134 padding-left: 2em; 153 display: inline;
135 }
136
137 .lambda > *
138 {
139 vertical-align: top;
140 } 154 }
141 155
142 .lambdabody 156 .lambdabody
143 { 157 {
144 display: inline-block; 158 display: block;
145 margin-left: 2em; 159 margin-left: 2em;
146 } 160 }
147 161 .args
148 .lambdabody:before 162 {
163 display: inline-block;
164 }
165 .args:after
149 { 166 {
150 content: '{'; 167 content: '{';
151 } 168 }
152 169
153 .lambda:after 170 .lambdabody:after
154 { 171 {
155 display: block; 172 display: block;
156 content: '}'; 173 content: '}';
174 margin-left: -2em;
157 } 175 }
158 176
159 .funcall > .funcall, .assignment > .funcall 177 .funcall > .funcall, .assignment > .funcall
160 { 178 {
161 display: inline-block; 179 display: inline-block;
173 191
174 .string 192 .string
175 { 193 {
176 color: #FF1030; 194 color: #FF1030;
177 } 195 }
196
197 .op > div
198 {
199 display: inline-block;
200 }