comparison editor.css @ 0:3d1b8e96f5dc

Initial commit
author Mike Pavone <pavone@retrodev.com>
date Sun, 18 Mar 2012 12:03:04 -0700
parents
children 6e4851a204a5
comparison
equal deleted inserted replaced
-1:000000000000 0:3d1b8e96f5dc
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;
30 }
31
32 ul
33 {
34 border-style: solid;
35 border-color: black;
36 border-width: 1px;
37 display: block;
38 padding: 2px;
39 box-sizing: border-box;
40 -moz-box-sizing: border-box;
41 -webkit-box-sizing: border-box;
42 height: 50%;
43 margin: 0;
44 overflow: auto;
45 }
46
47 ul:first-child
48 {
49 border-bottom-width: 0px;
50 }
51
52 #operators, .showops > #builtin
53 {
54 display: none;
55 }
56
57 .showops > #operators
58 {
59 display: block;
60 }
61
62 li
63 {
64 display: inline-block;
65 border-style: solid;
66 border-color: lightgrey;
67 border-width: 1px;
68 padding: 2px;
69 margin: 4px;
70 min-width: 9mm;
71 min-height: 9mm;
72 cursor: pointer;
73 }
74
75