| body { |
| padding: 1em 6em; |
| margin: 0; |
| margin-bottom: 4em; |
| font-family: "Helvetica Neue", Helvetica, sans-serif; |
| font-size: 12pt; |
| background-color: white; |
| color: black; |
| line-height: 1.6em; |
| min-width: 45em; |
| max-width: 60em; |
| } |
| |
| h1 { |
| font-size: 24pt; |
| margin-top: 1.6em; |
| padding-left: 0.4em; |
| line-height: 1.6em; |
| background-color:#FFF2CE; |
| border-radius: 0.2em; |
| } |
| |
| h2 { |
| font-size: 16pt; |
| margin-top: 1.6em; |
| padding: 0.2em 0.5em; |
| background-color:#FFF2CE; |
| border-radius: 0.4em; |
| } |
| |
| h2 code { |
| color: #097334; |
| font-size: 16pt; |
| } |
| |
| h3 { |
| font-size: 14pt; |
| color: black; |
| background-color:#D9E7FF; |
| border-radius: 0.4em; |
| padding: 0.2em 0.5em; |
| } |
| |
| h3 code { |
| color: #541800; |
| font-size: 14pt; |
| font-style: italic; |
| } |
| |
| h4 { |
| font-size: 11pt; |
| margin-top: 0em; |
| margin-bottom: 0em; |
| } |
| |
| code { |
| font-size: 11pt; |
| } |
| |
| pre { |
| margin-left: 1.1em; |
| padding: .4em .4em .4em .8em; |
| font-size: 10pt; |
| background-color: #F5F5F5; |
| border-radius: 0.5em; |
| border: 1px solid rgba(0, 0, 0, 0.15); |
| } |
| |
| pre.rust { |
| background-color: #F3F6FF; |
| } |
| |
| 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; |
| } |
| |
| /* Adjust list alignment so rustdoc indexes don't align with blockquotes */ |
| div.index ul { |
| padding-left: 1em; |
| } |
| |
| ul { |
| margin-top: 0em |
| } |
| |
| div.section.level3 { |
| margin-left: 1.0em; |
| } |