webengine/osswebengine/WebKitTools/Drosera/console.css
changeset 0 dd21522fd290
equal deleted inserted replaced
-1:000000000000 0:dd21522fd290
       
     1 /*
       
     2  * Copyright (C) 2006 Apple Computer, Inc.  All rights reserved.
       
     3  * Copyright (C) 2006 David Smith (catfish.man@gmail.com)
       
     4  *
       
     5  * Redistribution and use in source and binary forms, with or without
       
     6  * modification, are permitted provided that the following conditions
       
     7  * are met:
       
     8  *
       
     9  * 1.  Redistributions of source code must retain the above copyright
       
    10  *     notice, this list of conditions and the following disclaimer. 
       
    11  * 2.  Redistributions in binary form must reproduce the above copyright
       
    12  *     notice, this list of conditions and the following disclaimer in the
       
    13  *     documentation and/or other materials provided with the distribution. 
       
    14  * 3.  Neither the name of Apple Computer, Inc. ("Apple") nor the names of
       
    15  *     its contributors may be used to endorse or promote products derived
       
    16  *     from this software without specific prior written permission. 
       
    17  *
       
    18  * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
       
    19  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
       
    20  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
       
    21  * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
       
    22  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
       
    23  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
       
    24  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
       
    25  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
       
    26  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
       
    27  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
       
    28  */
       
    29 
       
    30 img { padding: 0; margin: 0; }
       
    31 body { margin: 0; padding: 0; overflow: hidden; }
       
    32 
       
    33 #main {
       
    34     position: absolute;
       
    35     top: 0;
       
    36     bottom: 0;
       
    37     left: 0;
       
    38     right: 0;
       
    39 }
       
    40 
       
    41 #top {
       
    42     position: absolute;
       
    43     top: 0;
       
    44     bottom: 50px;
       
    45     left: 0;
       
    46     right: 0;
       
    47 }
       
    48 
       
    49 #history {
       
    50     position: absolute;
       
    51     top: 0;
       
    52     bottom: 10px;
       
    53     left: 0;
       
    54     right: 0;
       
    55     overflow-y: auto;
       
    56     overflow-x: hidden;
       
    57 }
       
    58 
       
    59 #divider {
       
    60     cursor: row-resize;
       
    61     position: absolute;
       
    62     bottom: 0;
       
    63     left: 0;
       
    64     right: 0;
       
    65     background: url(splitterDimple.tif) 50% no-repeat, url(splitterBar.tif) repeat-x;
       
    66     height: 10px;
       
    67 }
       
    68 
       
    69 #input {
       
    70     position: absolute;
       
    71     -webkit-box-sizing: border-box;
       
    72     height: 50px;
       
    73     max-height: 150px;
       
    74     left: 0;
       
    75     right: 0;
       
    76     bottom: 0;
       
    77     -webkit-user-modify: read-write-plaintext-only;
       
    78     -webkit-nbsp-mode: space;
       
    79     -webkit-line-break: after-white-space;
       
    80     word-wrap: break-word;
       
    81     outline: none;
       
    82     font-family: monospace;
       
    83     font-size: 11px;
       
    84     line-height: 14px;
       
    85     padding: 3px;
       
    86 }
       
    87 
       
    88 #history .row {
       
    89     min-height: 38px;
       
    90     padding: 4px;
       
    91     -webkit-box-sizing: border-box;
       
    92     font-family: monospace;
       
    93     font-size: 12px;
       
    94 }
       
    95 
       
    96 #history .row.alt {
       
    97     background-color: rgb(237, 243, 254);
       
    98 }
       
    99 
       
   100 .expression {
       
   101     color: blue;
       
   102 }
       
   103 
       
   104 .result {
       
   105     color: navy;
       
   106 }