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

   1 html {
   2     height: 100%;
   3 }
   4
   5 body {
   6     height: 100%;
   7     width: 100%;
   8     position: relative;
   9     overflow: hidden;
  10     margin: 0;
  11 }
  12
  13 html /deep/ .component-root {
  14     cursor: default;
  15     font-family: Lucida Grande, sans-serif;
  16     font-size: 12px;
  17     tab-size: 4;
  18     -webkit-user-select: none;
  19     color: #222;
  20 }
  21
  22 html /deep/ .platform-linux {
  23     color: rgb(48, 57, 66);
  24     font-family: Ubuntu, Arial, sans-serif;
  25 }
  26
  27 html /deep/ .platform-mac {
  28     color: rgb(48, 57, 66);
  29     font-family: 'Lucida Grande', sans-serif;
  30 }
  31
  32 html /deep/ .platform-windows {
  33     font-family: 'Segoe UI', Tahoma, sans-serif;
  34 }
  35
  36 html /deep/ .platform-mac .monospace,
  37 html /deep/ .platform-mac .source-code {
  38     font-size: 11px !important;
  39     font-family: Menlo, monospace;
  40 }
  41
  42 html /deep/ .platform-windows .monospace,
  43 html /deep/ .platform-windows .source-code {
  44     font-size: 12px !important;
  45     font-family: Consolas, Lucida Console, monospace;
  46 }
  47
  48 html /deep/ .platform-linux .monospace,
  49 html /deep/ .platform-linux .source-code {
  50     font-size: 11px !important;
  51     font-family: dejavu sans mono, monospace;
  52 }
  53
  54 body /deep/ .source-code {
  55     font-family: monospace;
  56     font-size: 11px !important;
  57     white-space: pre-wrap;
  58 }
  59
  60 body /deep/ * {
  61     box-sizing: border-box;
  62 }
  63
  64 body /deep/ :focus {
  65     outline: none;
  66 }
  67
  68 body /deep/ img {
  69     -webkit-user-drag: none;
  70 }
  71
  72 body /deep/ iframe,
  73 body /deep/ a img {
  74     border: none;
  75 }
  76
  77 body /deep/ iframe.view {
  78     position: absolute;
  79     width: 100%;
  80     height: 100%;
  81     left: 0;
  82     right: 0;
  83     top: 0;
  84     bottom: 0;
  85 }
  86
  87 body /deep/ .hidden {
  88     display: none !important;
  89 }
  90
  91 body /deep/ .monospace {
  92     font-size: 10px !important;
  93     font-family: monospace;
  94 }
  95
  96 body /deep/ .highlighted-search-result {
  97     border-radius: 1px;
  98     padding: 1px;
  99     margin: -1px;
 100     background-color: rgba(255, 255, 0, 0.8);
 101 }