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