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;
|
|
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
|