/** * Copyright 2013 The Rust Project Developers. See the COPYRIGHT * file at the top-level directory of this distribution and at * http://rust-lang.org/COPYRIGHT. * With elements taken from Bootstrap v3.0.0 (Apache v2.0 licensed). * * Licensed under the Apache License, Version 2.0 or the MIT license * , at your * option. This file may not be copied, modified, or distributed * except according to those terms. */ /* Global page semantics ========================================================================== */ body { background-color: #fff; margin: 0 auto; padding: 0 15px; margin-bottom: 4em; font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 14px; color: #333; line-height: 1.428571429; } @media (min-width: 768px) { body { max-width: 750px; } } @media (min-width: 992px) { body { max-width: 970px; } } @media (min-width: 1200px) { body { max-width: 1170px; } } h1, h2, h3, h4, h5, h6 { color: black; font-weight: 500; line-height: 1.1; } h1, h2, h3 { margin-top: 20px; margin-bottom: 10px; } h4, h5, h6 { margin-top: 12px; margin-bottom: 10px; } h1 { font-size: 36px; padding: .1em .4em; margin: 0.67em 0; background-color: #E9E9E9; border-radius: .2em; } h1.title { line-height: 1.5em; } h2 { font-size: 30px; padding: .2em .5em; background-color: #E9E9E9; border-radius: .3em; } h3 { font-size: 24px; padding: .2em .5em; background-color: #DDE8FC; border-radius: .4em; } h4 { font-size: 18px; } h5 { font-size: 16px; } h6 { font-size: 14px; } p { margin: 0 0 10px; } /* Links layout ========================================================================== */ a { text-decoration: none; color: #428BCA; } a:hover, a:focus { color: #2A6496; text-decoration: underline; } a:focus { outline: thin dotted #333; outline: 5px auto -webkit-focus-ring-color; outline-offset: -2px; } a:hover, a:active { outline: 0; } h1 a:link, h1 a:visited, h2 a:link, h2 a:visited, h3 a:link, h3 a:visited, h4 a:link, h4 a:visited, h5 a:link, h5 a:visited {color: black;} /* Code ========================================================================== */ pre, code { font-family: Monaco, Menlo, Consolas, "Courier New", monospace; border-radius: 4px; } pre { background-color: #F5F5F5; border: 1px solid #CCC; border-radius: 0.5em; white-space: pre-wrap; padding: 9.5px; margin: 10px 0; font-size: 13px; word-break: break-all; word-wrap: break-word; } code { padding: 2px 4px; font-size: 90%; color: #C7254E; background-color: #F9F2F4; white-space: nowrap; } pre code { padding: 0; font-size: inherit; color: inherit; white-space: pre-wrap; background-color: transparent; border: 0; } /* 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;} /* The rest ========================================================================== */ #versioninfo { text-align: center; margin: 0.5em; font-size: 1.1em; } @media (min-width: 768px) { #versioninfo { position: fixed; bottom: 0px; right: 0px; } .white-sticker { background-color: #fff; margin: 2px; padding: 0 2px; border-radius: .3em; } } #versioninfo a.hash { color: gray; font-size: 60%; } blockquote { color: black; border-left: 5px solid #eee; margin: 0 0 20px; padding: 10px 20px; } blockquote p { font-size: 17px; font-weight: 300; line-height: 1.25; } blockquote p:last-child { margin-bottom: 0; } /* 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; } ul, ol { margin-top: 0; margin-bottom: 10px; } ul ul, ol ul, ul ol, ol ol { margin-bottom: 0; } dl { margin-bottom: 20px; } dd { margin-left: 0; } #TOC ul { list-style-type: none; padding-left: 0px; } /* Only display one level of hierarchy in the TOC */ #TOC ul ul { display: none; } /* Adjust list alignment so rustdoc indexes don't align with blockquotes */ div.index ul { padding-left: 1em; } div.section.level3 { margin-left: 1em; } sub, sup { font-size: 75%; line-height: 0; position: relative; } hr { margin-top: 20px; margin-bottom: 20px; border: 0; border-top: 1px solid #eeeeee; } @media print { * { text-shadow: none !important; color: #000 !important; background: transparent !important; box-shadow: none !important; } a, a:visited { text-decoration: underline; } a[href]:after { content: " (" attr(href) ")"; } a[href^="javascript:"]:after, a[href^="#"]:after { content: ""; } pre, blockquote { border: 1px solid #999; page-break-inside: avoid; } @page { margin: 2cm .5cm; } p, h2, h3 { orphans: 3; widows: 3; } h2, h3 { page-break-after: avoid; } table { border-collapse: collapse !important; } table td, table th { background-color: #fff !important; } }