1/*
2Copyright 2013 the V8 project authors. All rights reserved.
3
4Redistribution and use in source and binary forms, with or without
5modification, are permitted provided that the following conditions are
6met:
7    * Redistributions of source code must retain the above copyright
8      notice, this list of conditions and the following disclaimer.
9    * Redistributions in binary form must reproduce the above
10      copyright notice, this list of conditions and the following
11      disclaimer in the documentation and/or other materials provided
12      with the distribution.
13    * Neither the name of Google Inc. nor the names of its
14      contributors may be used to endorse or promote products derived
15      from this software without specific prior written permission.
16THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27*/
28
29body {
30  background-color: #ddd;
31}
32
33#content {
34  background-color: #fff;
35  width: 1200px;
36  margin-left: auto;
37  margin-right: auto;
38  padding: 25px;
39}
40
41textarea {
42  width: 1200px;
43  resize: none;
44  font-family: monospace;
45  font-size: 12px;
46  color: #000;
47  border: 1px dotted #aaa;
48  padding: 10px;
49  box-sizing: border-box;
50}
51
52textarea.log {
53  background-color: #ffe;
54}
55
56.display {
57  width: 1200px;
58  height: 600px;
59  background-color: #fff;
60  display: block;
61  box-sizing: border-box;
62}
63
64table {
65  width: 1200px;
66}
67
68button {
69  width: 100px;
70  height: 20px;
71  border: 1px solid #000;
72  border-color: #aaa;
73  font-family: Verdana;
74  font-size: 12px;
75  background-color: #ddd;
76}
77
78button:hover {
79  background-color: #eee;
80}
81
82#file {
83  width: 200px;
84  height: 20px;
85  border: none;
86  font-family: Verdana;
87  font-size: 12px;
88}
89
90input.range {
91  width: 70px;
92  height: 16px;
93  text-align: right;
94  padding-right: 5px;
95  border: 0px;
96  background-color: #eee;
97  font-family: Verdana;
98  font-size: 12px;
99}
100
101label {
102  height: 20px;
103  font-family: Verdana;
104  font-size: 12px;
105}
106
107.tooltip {
108  border-bottom: 1px dotted #000;
109}
110
111h1 {
112  font-family: Verdana;
113  font-size: 14px;
114  font-weight: bold;
115}
116
117.text {
118  font-family: Verdana;
119  font-size: 12px;
120}
121
122.tt {
123  font-family: monospace;
124  font-size: 12px;
125  color: #822;
126}
127
128a {
129  font-family: Verdana;
130  font-size: 12px;
131  text-decoration: none;
132  color: #282;
133}
134
135a.unroll {
136  border-bottom: 1px dotted #000;
137  color: #222;
138}
139