--- /dev/null
+body {
+ margin: 0;
+ font-family: Helvetica, Arial, sans-serif;
+ font-size: 16px;
+}
+pre,
+code {
+ font-family: Menlo, monospace;
+ font-size: 14px;
+}
+pre {
+ line-height: 18px;
+ margin: 0;
+ padding: 0;
+}
+a {
+ color: #375eab;
+ text-decoration: none;
+}
+a:hover {
+ text-decoration: underline;
+}
+p,
+ul,
+ol {
+ margin: 20px;
+}
+
+h1,
+h2,
+h3,
+h4 {
+ margin: 20px 0;
+ padding: 0;
+ color: #375eab;
+ font-weight: bold;
+}
+h1 {
+ font-size: 18px;
+ padding: 2px 5px;
+}
+h2 {
+ font-size: 16px;
+}
+h3 {
+ font-size: 16px;
+}
+h3,
+h4 {
+ margin: 20px 5px;
+}
+h4 {
+ font-size: 16px;
+}
+
+div#heading {
+ margin: 0 0 10px 0;
+ padding: 21px 0;
+ font-size: 20px;
+ font-weight: bold;
+}
+
+div#heading .author {
+ padding-top: 10px;
+ font-size: 14px;
+ font-weight: normal;
+}
+
+div#topbar {
+}
+
+body {
+ text-align: center;
+}
+div#page {
+ width: 100%;
+}
+div#page > .container,
+div#topbar > .container {
+ text-align: left;
+ margin-left: auto;
+ margin-right: auto;
+ padding: 0 20px;
+ width: 900px;
+}
+div#page.wide > .container,
+div#topbar.wide > .container {
+ width: auto;
+}
+
+div#footer {
+ text-align: center;
+ color: #666;
+ font-size: 14px;
+ margin: 40px 0;
+}
+
+.author p {
+ margin: 0;
+ padding: 0 20px;
+}
+
+div.code,
+div.output {
+ margin: 20px 20px 20px 40px;
+ -webkit-border-radius: 5px;
+ -moz-border-radius: 5px;
+ border-radius: 5px;
+}
+
+div.output {
+ padding: 10px;
+}
+
+div.code {
+ background: white;
+}
+div.output {
+ background: black;
+}
+div.output .stdout {
+ color: #e6e6e6;
+}
+div.output .stderr {
+ color: rgb(244, 74, 63);
+}
+div.output .system {
+ color: rgb(255, 209, 77);
+}
+
+.buttons {
+ margin-left: 20px;
+}
+div.output .buttons {
+ margin-left: 0;
+ margin-bottom: 10px;
+}
+
+#toc {
+ float: right;
+ margin: 0px 10px;
+ padding: 10px;
+ border: 1px solid #e5ecf9;
+ background-color: #eee;
+ box-shadow: 3px 3px 2px #888888;
+
+ max-width: 33%;
+
+ -webkit-border-radius: 5px;
+ -moz-border-radius: 5px;
+ border-radius: 5px;
+}
+
+#tochead {
+ font-weight: bold;
+ font-variant: small-caps;
+ font-size: 100%;
+ text-align: center;
+ padding-bottom: 5px;
+}
+
+#toc ul,
+#toc a {
+ list-style-type: none;
+ padding-left: 0px;
+ color: black;
+ margin: 0px;
+}
+
+ul.toc-inner a {
+ padding-left: 10px !important;
+}
+
+@media print {
+ .no-print,
+ .no-print * {
+ display: none !important;
+ }
+}