1.CodeMirror {
2    height: auto;
3}
4
5body {
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
13h1 {
14  letter-spacing: -3px;
15  font-size: 3.23em;
16  font-weight: bold;
17  margin: 0;
18}
19
20h2 {
21  font-size: 1.23em;
22  font-weight: bold;
23  margin: .5em 0;
24  letter-spacing: -1px;
25}
26
27h3 {
28  font-size: 1.1em;
29  font-weight: bold;
30  margin: .4em 0;
31}
32
33pre {
34  background-color: #eee;
35  -moz-border-radius: 6px;
36  -webkit-border-radius: 6px;
37  border-radius: 6px;
38  padding: 1em;
39}
40
41pre.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
54img.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
70a:link, a:visited, .quasilink {
71  color: #df0019;
72  cursor: pointer;
73  text-decoration: none;
74}
75
76a:hover, .quasilink:hover {
77  color: #800004;
78}
79
80h1 a:link, h1 a:visited, h1 a:hover {
81  color: black;
82}
83
84ul {
85  margin: 0;
86  padding-left: 1.2em;
87}
88
89a.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
105a.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 */
172