Source/WebInspectorUI/Tools/PrettyPrinting/codemirror-additions.css

   1 .CodeMirror {
   2     height: auto;
   3 }
   4
   5 body {
   6   font-family: Droid Sans, Arial, sans-serif;
   7   line-height: 1.5;
   8   max-width: 64.3em;
   9   margin: 3em auto;
  10   padding: 0 1em;
  11 }
  12
  13 h1 {
  14   letter-spacing: -3px;
  15   font-size: 3.23em;
  16   font-weight: bold;
  17   margin: 0;
  18 }
  19
  20 h2 {
  21   font-size: 1.23em;
  22   font-weight: bold;
  23   margin: .5em 0;
  24   letter-spacing: -1px;
  25 }
  26
  27 h3 {
  28   font-size: 1.1em;
  29   font-weight: bold;
  30   margin: .4em 0;
  31 }
  32
  33 pre {
  34   background-color: #eee;
  35   -moz-border-radius: 6px;
  36   -webkit-border-radius: 6px;
  37   border-radius: 6px;
  38   padding: 1em;
  39 }
  40
  41 pre.code {
  42   margin: 0 1em;
  43 }
  44
  45 .grey {
  46   background-color: #eee;
  47   border-radius: 6px;
  48   margin-bottom: 1.65em;
  49   margin-top: 0.825em;
  50   padding: 0.825em 1.65em;
  51   position: relative;
  52 }
  53
  54 img.logo {
  55   position: absolute;
  56   right: -1em;
  57   bottom: 4px;
  58   max-width: 23.6875em; /* Scale image down with text to prevent clipping */
  59 }
  60
  61 .grey > pre {
  62   background:none;
  63   border-radius:0;
  64   padding:0;
  65   margin:0;
  66   font-size:2.2em;
  67   line-height:1.2em;
  68 }
  69
  70 a:link, a:visited, .quasilink {
  71   color: #df0019;
  72   cursor: pointer;
  73   text-decoration: none;
  74 }
  75
  76 a:hover, .quasilink:hover {
  77   color: #800004;
  78 }
  79
  80 h1 a:link, h1 a:visited, h1 a:hover {
  81   color: black;
  82 }
  83
  84 ul {
  85   margin: 0;
  86   padding-left: 1.2em;
  87 }
  88
  89 a.download {
  90   color: white;
  91   background-color: #df0019;
  92   width: 100%;
  93   display: block;
  94   text-align: center;
  95   font-size: 1.23em;
  96   font-weight: bold;
  97   text-decoration: none;
  98   -moz-border-radius: 6px;
  99   -webkit-border-radius: 6px;
 100   border-radius: 6px;
 101   padding: .5em 0;
 102   margin-bottom: 1em;
 103 }
 104
 105 a.download:hover {
 106   background-color: #bb0010;
 107 }
 108
 109 .rel {
 110   margin-bottom: 0;
 111 }
 112
 113 .rel-note {
 114   color: #777;
 115   font-size: .9em;
 116   margin-top: .1em;
 117 }
 118
 119 .logo-braces {
 120   color: #df0019;
 121   position: relative;
 122   top: -4px;
 123 }
 124
 125 .blk {
 126   float: left;
 127 }
 128
 129 .left {
 130   margin-right: 20.68em;
 131   max-width: 37em;
 132   padding-right: 6.53em;
 133   padding-bottom: 1em;
 134 }
 135
 136 .left1 {
 137   width: 15.24em;
 138   padding-right: 6.45em;
 139 }
 140
 141 .left2 {
 142   max-width: 15.24em;
 143 }
 144
 145 .right {
 146   width: 20.68em;
 147   margin-left: -20.68em;
 148 }
 149
 150 .leftbig {
 151   width: 42.44em;
 152   padding-right: 6.53em;
 153 }
 154
 155 .rightsmall {
 156   width: 15.24em;
 157 }
 158
 159 .clear::after {
 160   visibility: hidden;
 161   display: block;
 162   font-size: 0;
 163   content: " ";
 164   clear: both;
 165   height: 0;
 166 }
 167 .clear { display: inline-block; }
 168 /* start commented backslash hack \*/
 169 * html .clear { height: 1%; }
 170 .clear { display: block; }
 171 /* close commented backslash hack */