Moved gvm into compiler. Added --explicit for moec
[moescript.git] / webtest_env / webtest.css
blobe83f135435d970448ca1ad1a65d79564031c4fa8
1 body {
2 margin: 0;
3 padding: 0;
4 overflow: hidden;
5 font-size: 16px;
7 #master {
8 width: 42em;
9 position: absolute;
10 top: 0;
11 left:0;
12 bottom:0;
13 padding: 0.5em;
14 overflow: auto;
15 border-right: 1px solid #ccc;
16 z-index: 2;
18 #info {
19 position: absolute;
20 left: 0;
21 right: 0;
22 top: 0;
23 bottom: 0;
24 margin: 0 0 0 43em;
25 border-left: 4px solid #f3f3f3;
26 padding: 0.5em 0.5em 0.5em 1em;
27 overflow: auto;
29 #info ol li {
30 white-space: pre-wrap;
32 #info ol li em {
33 color: red
35 #output {
36 font-weight: bolder;
37 font-size: 16px;
39 #input {
40 font-size: 16px;
41 display: block;
42 width: 100%;
43 margin: 0 -0.5em;
44 padding: 0.5em;
45 border: none;
46 border-bottom: 1px solid black;
47 line-height: 1.5em;
48 min-height: 8em;
49 overflow-x: hidden;
50 tab-size: 2em;
52 #input:focus {
53 outline: none;
55 #toolbar {
56 font-size: 1.125em;
57 height: 2.5em;
58 line-height: 2.5em;
59 margin: -0.44444em -0.44444em 0;
60 padding: 0.44444em;
61 background: black;
62 color: white;
63 position: relative;
65 #go {
66 display: block;
67 position: absolute;
68 right: 0;
69 top: 0;
70 bottom: 0;
71 margin: 0;
72 padding: 0 2.5em 0 1em;
73 border: none;
74 font-size: inherit;
75 color: inherit;
76 background: none;
77 cursor: pointer;
79 #go:after {
80 content: ' ';
81 display: block;
82 position: absolute;
83 top: 50%;
84 right: 1em;
85 height: 0;
86 width: 0;
87 margin: -0.5em;
88 border: 0.5em solid white;
89 border-right-color: transparent;
90 border-top-color: transparent;
91 border-bottom-color: transparent;
93 #go:hover {
94 background: #333
96 #err {
97 color: red
100 pre, textarea {
101 font-family: "MSharp Mono DL", "Msharp Mono BG", monospace;
102 tab-size: 4;
103 -moz-tab-size: 4;
104 -o-tab-size: 4;
105 -ms-tab-size: 4;
108 ::-webkit-scrollbar {
109 padding: 0;
110 width: 4px;
111 height: 4px;
112 left: 10px;
115 ::-webkit-scrollbar-thumb {
116 background: rgba(0, 0, 0, 0.2);
117 height: 50px;
120 ::-webkit-scrollbar-thumb:hover {
121 background: rgba(0, 0, 0, 0.4);
122 height: 50px;
125 ::-webkit-scrollbar-track-piece {
126 background: rgba(0, 0, 0, 0.05);