Mercurial > repos > tabletprog
annotate editor.css @ 17:7400bb42e0c9
Add direct file edit link support
author | Mike Pavone <pavone@retrodev.com> |
---|---|
date | Sun, 25 Mar 2012 15:31:10 -0700 |
parents | a5ef5af3df0f |
children | 068d63627b16 |
rev | line source |
---|---|
0 | 1 |
2 body, html | |
3 { | |
4 width: 100%; | |
5 height: 100%; | |
6 margin: 0; | |
7 } | |
8 | |
9 body > div | |
10 { | |
11 margin: 0; | |
12 } | |
13 | |
14 .controls | |
15 { | |
16 width: 15%; | |
17 height: 100%; | |
18 display: inline-block; | |
19 padding: 0; | |
20 margin: 0; | |
21 vertical-align: top; | |
22 } | |
23 | |
24 #src | |
25 { | |
26 width: 70%; | |
27 display: inline-block; | |
28 padding: 0; | |
29 margin: 0; | |
12
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
30 white-space: pre; |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
31 font-family: monospace; |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
32 overflow: auto; |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
33 height: 100%; |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
34 } |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
35 |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
36 #editor |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
37 { |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
38 display: none; |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
39 height: 100%; |
0 | 40 } |
41 | |
12
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
42 body.editorMode > #editor |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
43 { |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
44 display: block; |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
45 } |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
46 |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
47 body.editorMode > #browser |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
48 { |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
49 display: none; |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
50 } |
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
51 |
13
e69f5ab0a453
Add overflow hidden to try and deal with extraneous scrolling
Mike Pavone <pavone@retrodev.com>
parents:
12
diff
changeset
|
52 body |
e69f5ab0a453
Add overflow hidden to try and deal with extraneous scrolling
Mike Pavone <pavone@retrodev.com>
parents:
12
diff
changeset
|
53 { |
e69f5ab0a453
Add overflow hidden to try and deal with extraneous scrolling
Mike Pavone <pavone@retrodev.com>
parents:
12
diff
changeset
|
54 overflow: hidden; |
e69f5ab0a453
Add overflow hidden to try and deal with extraneous scrolling
Mike Pavone <pavone@retrodev.com>
parents:
12
diff
changeset
|
55 } |
e69f5ab0a453
Add overflow hidden to try and deal with extraneous scrolling
Mike Pavone <pavone@retrodev.com>
parents:
12
diff
changeset
|
56 |
12
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
57 #editor ul |
0 | 58 { |
59 border-style: solid; | |
60 border-color: black; | |
61 border-width: 1px; | |
62 display: block; | |
63 padding: 2px; | |
64 box-sizing: border-box; | |
65 -moz-box-sizing: border-box; | |
66 -webkit-box-sizing: border-box; | |
67 height: 50%; | |
68 margin: 0; | |
69 overflow: auto; | |
70 } | |
71 | |
12
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
72 #editor ul:first-child |
0 | 73 { |
74 border-bottom-width: 0px; | |
75 } | |
76 | |
12
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
77 #editor #operators, #editor .showops > #builtin |
0 | 78 { |
79 display: none; | |
80 } | |
81 | |
12
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
82 #editor .showops > #operators |
0 | 83 { |
84 display: block; | |
85 } | |
86 | |
12
6e4851a204a5
Add ability to load code into editor
Mike Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
87 #editor li |
0 | 88 { |
89 display: inline-block; | |
90 border-style: solid; | |
91 border-color: lightgrey; | |
92 border-width: 1px; | |
93 padding: 2px; | |
94 margin: 4px; | |
95 min-width: 9mm; | |
96 min-height: 9mm; | |
97 cursor: pointer; | |
98 } | |
99 | |
15
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
100 /* AST Nodes */ |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
101 #src span |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
102 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
103 border-width: 1px; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
104 border-style: solid; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
105 border-color: lightgrey; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
106 display: inline-block; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
107 } |
0 | 108 |
15
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
109 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
110 .object:before |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
111 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
112 content: '#'; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
113 } |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
114 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
115 .lambda |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
116 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
117 padding-left: 2em; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
118 } |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
119 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
120 .lambda > * |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
121 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
122 vertical-align: top; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
123 } |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
124 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
125 .lambdabody |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
126 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
127 display: inline-block; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
128 margin-left: 2em; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
129 } |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
130 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
131 .lambdabody:before |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
132 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
133 content: '{'; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
134 } |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
135 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
136 .lambda:after |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
137 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
138 display: block; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
139 content: '}'; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
140 } |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
141 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
142 .funcall > .funcall, .assignment > .funcall |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
143 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
144 display: inline-block; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
145 } |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
146 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
147 .funcall > .funcall:before |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
148 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
149 content: '('; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
150 } |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
151 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
152 .funcall > .funcall:after |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
153 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
154 content: ')'; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
155 } |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
156 |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
157 .string |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
158 { |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
159 color: #FF1030; |
a5ef5af3df0f
Add toHTML methods to the rest of the AST nodes. Cleanup the formatting a bit
Mike Pavone <pavone@retrodev.com>
parents:
13
diff
changeset
|
160 } |