body { padding: 1em; margin: 0; margin-bottom: 4em; font-family: "Helvetica Neue", Helvetica, sans-serif; background-color: white; color: black; line-height: 1.6em; } body { padding: 1em 6em; max-width: 60em; } h1 { font-size: 20pt; margin-top: 2em; border-bottom: 1px solid silver; line-height: 1.6em; } h2 { font-size: 15pt; margin-top: 2em; } h3 { font-size: 13pt; } pre { margin: 1.1em 0; padding: .4em .4em .4em 2em; font-size: 120%; } a, a:visited, a:link { text-decoration: none; color: rgb(0, 105, 214); } h1 a:link, h1 a:visited, h2 a:link, h2 a:visited, h3 a:link, h3 a:visited { color: black; } /* Code highlighting */ .cm-s-default span.cm-keyword {color: #708;} .cm-s-default span.cm-atom {color: #219;} .cm-s-default span.cm-number {color: #164;} .cm-s-default span.cm-def {color: #00f;} .cm-s-default span.cm-variable {color: black;} .cm-s-default span.cm-variable-2 {color: #05a;} .cm-s-default span.cm-variable-3 {color: #085;} .cm-s-default span.cm-property {color: black;} .cm-s-default span.cm-operator {color: black;} .cm-s-default span.cm-comment {color: #a50;} .cm-s-default span.cm-string {color: #a11;} .cm-s-default span.cm-string-2 {color: #f50;} .cm-s-default span.cm-meta {color: #555;} .cm-s-default span.cm-error {color: #f00;} .cm-s-default span.cm-qualifier {color: #555;} .cm-s-default span.cm-builtin {color: #30a;} .cm-s-default span.cm-bracket {color: #cc7;} .cm-s-default span.cm-tag {color: #170;} .cm-s-default span.cm-attribute {color: #00c;} #versioninfo { position: fixed; bottom: 0px; right: 0px; background-color: white; padding: 0.5em; } a.lessimportant { color: gray; font-size: 60%; } blockquote { color: black; border-left: solid 1px silver; margin: 1em; padding: 0.5em 1em 0.5em 1em; } /* Make the table under the tutorial's 'Types' section look nicer */ table { border-top: 1px solid silver; border-bottom: 1px solid silver; padding: 0.8em; font-size: smaller; } /* Also for the benefit of the type table */ td { padding-right: 1em; } /* Only display one level of hierarchy in the TOC */ #TOC ul ul { display: none; } #TOC ul { list-style: none; padding-left: 0px; }