Web Inspector: Formatter: Pretty Print HTML resources (including inline <script>...
[WebKit-https.git] / Source / WebInspectorUI / Tools / JSFormatter / 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   border-radius: 6px;
36   padding: 1em;
37 }
38
39 pre.code {
40   margin: 0 1em;
41 }
42
43 .grey {
44   background-color: #eee;
45   border-radius: 6px;
46   margin-bottom: 1.65em;
47   margin-top: 0.825em;
48   padding: 0.825em 1.65em;
49   position: relative;
50 }
51
52 img.logo {
53   position: absolute;
54   right: -1em;
55   bottom: 4px;
56   max-width: 23.6875em; /* Scale image down with text to prevent clipping */
57 }
58
59 .grey > pre {
60   background:none;
61   border-radius:0;
62   padding:0;
63   margin:0;
64   font-size:2.2em;
65   line-height:1.2em;
66 }
67
68 a:link, a:visited, .quasilink {
69   color: #df0019;
70   cursor: pointer;
71   text-decoration: none;
72 }
73
74 a:hover, .quasilink:hover {
75   color: #800004;
76 }
77
78 h1 a:link, h1 a:visited, h1 a:hover {
79   color: black;
80 }
81
82 ul {
83   margin: 0;
84   padding-left: 1.2em;
85 }
86
87 a.download {
88   color: white;
89   background-color: #df0019;
90   width: 100%;
91   display: block;
92   text-align: center;
93   font-size: 1.23em;
94   font-weight: bold;
95   text-decoration: none;
96   border-radius: 6px;
97   padding: .5em 0;
98   margin-bottom: 1em;
99 }
100
101 a.download:hover {
102   background-color: #bb0010;
103 }
104
105 .rel {
106   margin-bottom: 0;
107 }
108
109 .rel-note {
110   color: #777;
111   font-size: .9em;
112   margin-top: .1em;
113 }
114
115 .logo-braces {
116   color: #df0019;
117   position: relative;
118   top: -4px;
119 }
120
121 .blk {
122   float: left;
123 }
124
125 .left {
126   margin-right: 20.68em;
127   max-width: 37em;
128   padding-right: 6.53em;
129   padding-bottom: 1em;
130 }
131
132 .left1 {
133   width: 15.24em;
134   padding-right: 6.45em;
135 }
136
137 .left2 {
138   max-width: 15.24em;
139 }
140
141 .right {
142   width: 20.68em;
143   margin-left: -20.68em;
144 }
145
146 .leftbig {
147   width: 42.44em;
148   padding-right: 6.53em;
149 }
150
151 .rightsmall {
152   width: 15.24em;
153 }
154
155 .clear::after {
156   visibility: hidden;
157   display: block;
158   font-size: 0;
159   content: " ";
160   clear: both;
161   height: 0;
162 }
163 .clear { display: inline-block; }
164 /* start commented backslash hack \*/
165 * html .clear { height: 1%; }
166 .clear { display: block; }
167 /* close commented backslash hack */