1body { 2 margin: 0; 3 font-family: Helvetica, Arial, sans-serif; 4 font-size: 16px; 5} 6pre, 7code { 8 font-family: Menlo, monospace; 9 font-size: 14px; 10} 11pre { 12 line-height: 18px; 13 margin: 0; 14 padding: 0; 15} 16a { 17 color: #375eab; 18 text-decoration: none; 19} 20a:hover { 21 text-decoration: underline; 22} 23p, 24ul, 25ol { 26 margin: 20px; 27} 28 29h1, 30h2, 31h3, 32h4 { 33 margin: 20px 0; 34 padding: 0; 35 color: #375eab; 36 font-weight: bold; 37} 38h1 { 39 font-size: 18px; 40 padding: 2px 5px; 41} 42h2 { 43 font-size: 16px; 44} 45h3 { 46 font-size: 16px; 47} 48h3, 49h4 { 50 margin: 20px 5px; 51} 52h4 { 53 font-size: 16px; 54} 55 56div#heading { 57 margin: 0 0 10px 0; 58 padding: 21px 0; 59 font-size: 20px; 60 font-weight: bold; 61} 62 63div#heading .author { 64 padding-top: 10px; 65 font-size: 14px; 66 font-weight: normal; 67} 68 69div#topbar { 70} 71 72body { 73 text-align: center; 74} 75div#page { 76 width: 100%; 77} 78div#page > .container, 79div#topbar > .container { 80 text-align: left; 81 margin-left: auto; 82 margin-right: auto; 83 padding: 0 20px; 84 width: 900px; 85} 86div#page.wide > .container, 87div#topbar.wide > .container { 88 width: auto; 89} 90 91div#footer { 92 text-align: center; 93 color: #666; 94 font-size: 14px; 95 margin: 40px 0; 96} 97 98.author p { 99 margin: 0; 100 padding: 0 20px; 101} 102 103div.code, 104div.output { 105 margin: 20px 20px 20px 40px; 106 -webkit-border-radius: 5px; 107 -moz-border-radius: 5px; 108 border-radius: 5px; 109} 110 111div.output { 112 padding: 10px; 113} 114 115div.code { 116 background: white; 117} 118div.output { 119 background: black; 120} 121div.output .stdout { 122 color: #e6e6e6; 123} 124div.output .stderr { 125 color: rgb(244, 74, 63); 126} 127div.output .system { 128 color: rgb(255, 209, 77); 129} 130 131.buttons { 132 margin-left: 20px; 133} 134div.output .buttons { 135 margin-left: 0; 136 margin-bottom: 10px; 137} 138 139#toc { 140 float: right; 141 margin: 0px 10px; 142 padding: 10px; 143 border: 1px solid #e5ecf9; 144 background-color: #eee; 145 box-shadow: 3px 3px 2px #888888; 146 147 max-width: 33%; 148 149 -webkit-border-radius: 5px; 150 -moz-border-radius: 5px; 151 border-radius: 5px; 152} 153 154#tochead { 155 font-weight: bold; 156 font-variant: small-caps; 157 font-size: 100%; 158 text-align: center; 159 padding-bottom: 5px; 160} 161 162#toc ul, 163#toc a { 164 list-style-type: none; 165 padding-left: 0px; 166 color: black; 167 margin: 0px; 168} 169 170ul.toc-inner a { 171 padding-left: 10px !important; 172} 173 174@media print { 175 .no-print, 176 .no-print * { 177 display: none !important; 178 } 179} 180