Home | History | Annotate | Download | only in profviz 
      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 }
    139