Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 1 | /* |
| 2 | Copyright 2013 the V8 project authors. All rights reserved. |
| 3 | |
| 4 | Redistribution and use in source and binary forms, with or without |
| 5 | modification, are permitted provided that the following conditions are |
| 6 | met: |
| 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. |
| 16 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| 17 | "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
| 18 | LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
| 19 | A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
| 20 | OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| 21 | SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| 22 | LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| 23 | DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| 24 | THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| 25 | (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| 26 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 27 | */ |
| 28 | |
| 29 | body { |
| 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 | |
| 41 | textarea { |
| 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 | |
| 52 | textarea.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 | |
| 64 | table { |
| 65 | width: 1200px; |
| 66 | } |
| 67 | |
| 68 | button { |
| 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 | |
| 78 | button: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 | |
| 90 | input.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 | |
| 101 | label { |
| 102 | height: 20px; |
| 103 | font-family: Verdana; |
| 104 | font-size: 12px; |
| 105 | } |
| 106 | |
| 107 | .tooltip { |
| 108 | border-bottom: 1px dotted #000; |
| 109 | } |
| 110 | |
| 111 | h1 { |
| 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 | |
| 128 | a { |
| 129 | font-family: Verdana; |
| 130 | font-size: 12px; |
| 131 | text-decoration: none; |
| 132 | color: #282; |
| 133 | } |
| 134 | |
| 135 | a.unroll { |
| 136 | border-bottom: 1px dotted #000; |
| 137 | color: #222; |
| 138 | } |