blob: c583b8943c7635e8662626324a7f89a549743f44 [file] [log] [blame]
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001/*
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}