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, ul, ol { 24 margin: 20px; 25} 26 27h1, h2, h3, h4 { 28 margin: 20px 0; 29 padding: 0; 30 color: #375EAB; 31 font-weight: bold; 32} 33h1 { 34 font-size: 24px; 35} 36h2 { 37 font-size: 20px; 38 background: #E0EBF5; 39 padding: 2px 5px; 40} 41h3 { 42 font-size: 20px; 43} 44h3, h4 { 45 margin: 20px 5px; 46} 47h4 { 48 font-size: 16px; 49} 50 51div#heading { 52 float: left; 53 margin: 0 0 10px 0; 54 padding: 21px 0; 55 font-size: 20px; 56 font-weight: normal; 57} 58 59div#topbar { 60 background: #E0EBF5; 61 height: 64px; 62 overflow: hidden; 63} 64 65body { 66 text-align: center; 67} 68div#page { 69 width: 100%; 70} 71div#page > .container, 72div#topbar > .container { 73 text-align: left; 74 margin-left: auto; 75 margin-right: auto; 76 padding: 0 20px; 77 width: 900px; 78} 79div#page.wide > .container, 80div#topbar.wide > .container { 81 width: auto; 82} 83 84div#footer { 85 text-align: center; 86 color: #666; 87 font-size: 14px; 88 margin: 40px 0; 89} 90 91.author p { 92 margin: 20, 0, 0, 0px; 93} 94 95div.code, 96div.output { 97 margin: 20px; 98 padding: 10px; 99 -webkit-border-radius: 5px; 100 -moz-border-radius: 5px; 101 border-radius: 5px; 102} 103 104div.code { background: #e9e9e9; } 105div.output { background: black; } 106div.output .stdout { color: #e6e6e6; } 107div.output .stderr { color: rgb(244, 74, 63); } 108div.output .system { color: rgb(255, 209, 77) } 109 110.buttons { 111 margin-left: 20px; 112} 113div.output .buttons { 114 margin-left: 0; 115 margin-bottom: 10px; 116} 117 118#toc { 119 float: right; 120 margin: 0px 10px; 121 padding: 10px; 122 border: 1px solid #e5ecf9; 123 background-color: white; 124 max-width: 33%; 125 126 -webkit-border-radius: 5px; 127 -moz-border-radius: 5px; 128 border-radius: 5px; 129} 130 131#toc ul, #toc a { 132 list-style-type: none; 133 padding-left: 10px; 134 color: black; 135 margin: 0px; 136} 137