third_party/WebKit/Source/devtools/front_end/ui/inspectorCommon.css

   1 /*
   2  * Copyright 2015 The Chromium Authors. All rights reserved.
   3  * Use of this source code is governed by a BSD-style license that can be
   4  * found in the LICENSE file.
   5  */
   6
   7 * {
   8     /* This is required for correct sizing of flex items because we rely
   9      * on an old version of the flexbox spec.
  10      * Longer-term we should remove this, see crbug.com/473625 */
  11     min-width: 0;
  12     min-height: 0;
  13 }
  14
  15 :host-context(.platform-mac) .monospace,
  16 :host-context(.platform-mac) .source-code,
  17 .platform-mac .monospace,
  18 .platform-mac .source-code {
  19     font-size: 11px !important;
  20     font-family: Menlo, monospace;
  21 }
  22
  23 :host-context(.platform-windows) .monospace,
  24 :host-context(.platform-windows) .source-code,
  25 .platform-windows .monospace,
  26 .platform-windows .source-code {
  27     font-size: 12px !important;
  28     font-family: Consolas, Lucida Console, monospace;
  29 }
  30
  31 :host-context(.platform-linux) .monospace,
  32 :host-context(.platform-linux) .source-code,
  33 .platform-linux .monospace,
  34 .platform-linux .source-code {
  35     font-size: 11px !important;
  36     font-family: dejavu sans mono, monospace;
  37 }
  38
  39 .source-code {
  40     font-family: monospace;
  41     font-size: 11px !important;
  42     white-space: pre-wrap;
  43 }
  44
  45 * {
  46     box-sizing: border-box;
  47 }
  48
  49 :focus {
  50     outline: none;
  51 }
  52
  53 img {
  54     -webkit-user-drag: none;
  55 }
  56
  57 iframe,
  58 a img {
  59     border: none;
  60 }
  61
  62 .fill {
  63     position: absolute;
  64     top: 0;
  65     left: 0;
  66     right: 0;
  67     bottom: 0;
  68 }
  69
  70 iframe.fill {
  71     width: 100%;
  72     height: 100%;
  73 }
  74
  75 .widget {
  76     position: relative;
  77     flex: auto;
  78 }
  79
  80 .hbox {
  81     display: flex;
  82     flex-direction: row !important;
  83     position: relative;
  84 }
  85
  86 .vbox {
  87     display: flex;
  88     flex-direction: column !important;
  89     position: relative;
  90 }
  91
  92 .flex-auto {
  93     flex: auto;
  94 }
  95
  96 .flex-auto-important {
  97     flex: auto !important;
  98 }
  99
 100 .flex-none {
 101     flex: none;
 102 }
 103
 104 .flex-centered {
 105     display: flex;
 106     align-items: center;
 107     justify-content: center;
 108 }
 109
 110 iframe.widget {
 111     position: absolute;
 112     width: 100%;
 113     height: 100%;
 114     left: 0;
 115     right: 0;
 116     top: 0;
 117     bottom: 0;
 118 }
 119
 120 .hidden {
 121     display: none !important;
 122 }
 123
 124 .monospace {
 125     font-size: 10px !important;
 126     font-family: monospace;
 127 }
 128
 129 .highlighted-search-result {
 130     border-radius: 1px;
 131     padding: 1px;
 132     margin: -1px;
 133     background-color: rgba(255, 255, 0, 0.8);
 134 }
 135
 136 .link {
 137     cursor: pointer;
 138     text-decoration: underline;
 139     color: rgb(17, 85, 204);
 140 }
 141
 142 button,
 143 input,
 144 select {
 145     font-family: inherit;
 146     font-size: inherit;
 147 }
 148
 149 input[type="search"]:focus,
 150 input[type="text"]:focus {
 151     outline: auto 5px -webkit-focus-ring-color;
 152 }
 153
 154
 155 .highlighted-search-result.current-search-result {
 156     border-radius: 1px;
 157     padding: 1px;
 158     margin: -1px;
 159     background-color: rgba(255, 127, 0, 0.8);
 160 }
 161
 162 .dimmed {
 163     opacity: 0.6;
 164 }
 165
 166 .editing {
 167     -webkit-user-select: text;
 168     box-shadow: rgba(0, 0, 0, .5) 3px 3px 4px;
 169     outline: 1px solid rgb(66%, 66%, 66%) !important;
 170     background-color: white;
 171     -webkit-user-modify: read-write-plaintext-only;
 172     text-overflow: clip !important;
 173     padding-left: 2px;
 174     margin-left: -2px;
 175     padding-right: 2px;
 176     margin-right: -2px;
 177     margin-bottom: -1px;
 178     padding-bottom: 1px;
 179     opacity: 1.0 !important;
 180 }
 181
 182 .editing,
 183 .editing * {
 184     color: #222 !important;
 185     text-decoration: none !important;
 186 }