/** * 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. * * 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. */ @font-face { font-family: 'Fira Sans'; font-style: normal; font-weight: 400; src: local('Fira Sans'), url("FiraSans-Regular.woff") format('woff'); } @font-face { font-family: 'Fira Sans'; font-style: normal; font-weight: 500; src: local('Fira Sans Medium'), url("FiraSans-Medium.woff") format('woff'); } @font-face { font-family: 'Source Serif Pro'; font-style: normal; font-weight: 400; src: local('Source Serif Pro'), url("SourceSerifPro-Regular.woff") format('woff'); } @font-face { font-family: 'Source Serif Pro'; font-style: italic; font-weight: 400; src: url("Heuristica-Italic.woff") format('woff'); } @font-face { font-family: 'Source Serif Pro'; font-style: normal; font-weight: 700; src: local('Source Serif Pro Bold'), url("SourceSerifPro-Bold.woff") format('woff'); } @font-face { font-family: 'Source Code Pro'; font-style: normal; font-weight: 400; src: local('Source Code Pro'), url("SourceCodePro-Regular.woff") format('woff'); } @font-face { font-family: 'Source Code Pro'; font-style: normal; font-weight: 600; src: local('Source Code Pro Semibold'), url("SourceCodePro-Semibold.woff") format('woff'); } @import "normalize.css"; * { -webkit-box-sizing: border-box; -moz-box-sizing: border-box; box-sizing: border-box; } /* General structure and fonts */ body { color: #333; font: 16px/1.4 "Source Serif Pro", Georgia, Times, "Times New Roman", serif; margin: 0; position: relative; padding: 10px 15px 20px 15px; -webkit-font-feature-settings: "kern", "liga"; -moz-font-feature-settings: "kern", "liga"; font-feature-settings: "kern", "liga"; } h1 { font-size: 1.5em; } h2 { font-size: 1.4em; } h3 { font-size: 1.3em; } h1, h2, h3:not(.impl):not(.method):not(.type), h4:not(.method):not(.type) { color: black; font-weight: 500; margin: 20px 0 15px 0; padding-bottom: 6px; } h1.fqn { border-bottom: 1px dashed #D5D5D5; margin-top: 0; } h2, h3:not(.impl):not(.method):not(.type), h4:not(.method):not(.type) { border-bottom: 1px solid #DDDDDD; } h3.impl, h3.method, h4.method, h3.type, h4.type { font-weight: 600; margin-top: 10px; margin-bottom: 10px; } h3.impl, h3.method, h3.type { margin-top: 15px; } h1, h2, h3, h4, section.sidebar, a.source, .search-input, .content table :not(code)>a, .collapse-toggle { font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; } ol, ul { padding-left: 25px; } ul ul, ol ul, ul ol, ol ol { margin-bottom: 0; } p { margin: 0 0 .6em 0; } code, pre { font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", Inconsolata, monospace; white-space: pre-wrap; } .docblock code { background-color: #F5F5F5; border-radius: 3px; padding: 0 0.2em; } pre { background-color: #F5F5F5; padding: 14px; } .source pre { padding: 20px; } .content.source { margin-top: 50px; max-width: none; overflow: visible; margin-left: 0px; min-width: 70em; } nav.sub { font-size: 16px; text-transform: uppercase; } .sidebar { width: 200px; position: absolute; left: 0; top: 0; min-height: 100%; } .content, nav { max-width: 960px; } /* Everything else */ .js-only, .hidden { display: none; } .sidebar { padding: 10px; } .sidebar img { margin: 20px auto; display: block; } .sidebar .location { font-size: 17px; margin: 30px 0 20px 0; background: #e1e1e1; text-align: center; color: #333; } .location a:first-child { font-weight: 500; } .block { padding: 0 10px; margin-bottom: 14px; } .block h2 { margin-top: 0; margin-bottom: 8px; text-align: center; } .block a { display: block; text-overflow: ellipsis; overflow: hidden; line-height: 15px; padding: 7px 5px; font-size: 14px; font-weight: 300; transition: border 500ms ease-out; } .block a:hover { background: #F5F5F5; } .content { padding: 15px 0; } .content.source pre.rust { white-space: pre; overflow: auto; padding-left: 0; } .content pre.line-numbers { float: left; border: none; position: relative; -webkit-user-select: none; -moz-user-select: none; -ms-user-select: none; user-select: none; } .line-numbers span { color: #c67e2d; cursor: pointer; } .line-numbers .line-highlighted { background-color: #f6fdb0 !important; } .content .highlighted { color: #000 !important; background-color: #ccc; } .content .highlighted a, .content .highlighted span { color: #000 !important; } .content .highlighted.trait { background-color: #fece7e; } .content .highlighted.mod { background-color: #afc6e4; } .content .highlighted.enum { background-color: #b4d1b9; } .content .highlighted.struct { background-color: #e7b1a0; } .content .highlighted.fn { background-color: #c6afb3; } .content .highlighted.method { background-color: #c6afb3; } .content .highlighted.tymethod { background-color: #c6afb3; } .content .highlighted.type { background-color: #c6afb3; } .docblock.short.nowrap { display: block; overflow: hidden; white-space: nowrap; text-overflow: ellipsis; } .docblock.short p { overflow: hidden; text-overflow: ellipsis; margin: 0; } .docblock.short code { white-space: nowrap; } .docblock h1, .docblock h2, .docblock h3, .docblock h4, .docblock h5 { border-bottom: 1px solid #DDD; } .docblock h1 { font-size: 1.3em; } .docblock h2 { font-size: 1.15em; } .docblock h3, .docblock h4, .docblock h5 { font-size: 1em; } .content .out-of-band { font-size: 23px; width: 40%; margin: 0px; padding: 0px; text-align: right; display: inline-block; } .content .in-band { width: 60%; margin: 0px; padding: 0px; display: inline-block; } .content table { border-spacing: 0 5px; border-collapse: separate; } .content td { vertical-align: top; } .content td:first-child { padding-right: 20px; } .content td p:first-child { margin-top: 0; } .content td h1, .content td h2 { margin-left: 0; font-size: 1.1em; } .docblock table { border: 1px solid #ddd; margin: .5em 0; border-collapse: collapse; width: 100%; } .docblock table td { padding: .5em; border-top: 1px dashed #ddd; border-bottom: 1px dashed #ddd; } .docblock table th { padding: .5em; text-align: left; border-top: 1px solid #ddd; border-bottom: 1px solid #ddd; } .content .item-list { list-style-type: none; padding: 0; } .content .item-list li { margin-bottom: 3px; } .content .multi-column { -moz-column-count: 5; -moz-column-gap: 2.5em; -webkit-column-count: 5; -webkit-column-gap: 2.5em; column-count: 5; column-gap: 2.5em; } .content .multi-column li { width: 100%; display: inline-block; } .content .method { font-size: 1em; position: relative; } /* Shift "where ..." part of method definition down a line */ .content .method .where { display: block; } /* Bit of whitespace to indent it */ .content .method .where::before { content: ' '; } .content .methods .docblock { margin-left: 40px; } .content .impl-items .docblock { margin-left: 40px; } nav { border-bottom: 1px solid #e0e0e0; padding-bottom: 10px; margin-bottom: 10px; } nav.main { padding: 20px 0; text-align: center; } nav.main .current { border-top: 1px solid #000; border-bottom: 1px solid #000; } nav.main .separator { border: 1px solid #000; display: inline-block; height: 23px; margin: 0 20px; } nav.sum { text-align: right; } nav.sub form { display: inline; } nav, .content { margin-left: 230px; } a { text-decoration: none; color: #000; background: transparent; } .docblock a { color: #4e8bca; } .docblock a:hover { text-decoration: underline; } .content span.trait, .content a.trait, .block a.current.trait { color: #ed9603; } .content span.mod, .content a.mod, block a.current.mod { color: #4d76ae; } .content span.enum, .content a.enum, .block a.current.enum { color: #5e9766; } .content span.struct, .content a.struct, .block a.current.struct { color: #e53700; } .content span.fn, .content a.fn, .block a.current.fn { color: #8c6067; } .content span.method, .content a.method, .block a.current.method { color: #8c6067; } .content span.tymethod, .content a.tymethod, .block a.current.tymethod { color: #8c6067; } .content .fnname { color: #8c6067; } .search-input { width: 100%; /* Override Normalize.css: we have margins and do not want to overflow - the `moz` attribute is necessary until Firefox 29, too early to drop at this point */ -moz-box-sizing: border-box !important; box-sizing: border-box !important; outline: none; border: none; border-radius: 1px; color: #555; margin-top: 5px; padding: 10px 16px; font-size: 17px; box-shadow: 0 0 0 1px #e0e0e0, 0 0 0 2px transparent; transition: border-color 300ms ease; transition: border-radius 300ms ease-in-out; transition: box-shadow 300ms ease-in-out; } .search-input:focus { border-color: #66afe9; border-radius: 2px; border: 0; outline: 0; box-shadow: 0 0 8px #078dd8; } .search-results .desc { white-space: nowrap; text-overflow: ellipsis; overflow: hidden; display: block; } .search-results a { display: block; } .content .search-results td:first-child { padding-right: 0; } .content .search-results td:first-child a { padding-right: 10px; } #help { background: #e9e9e9; border-radius: 4px; box-shadow: 0 0 6px rgba(0,0,0,.2); position: absolute; top: 300px; left: 50%; margin-top: -125px; margin-left: -275px; width: 550px; height: 300px; border: 1px solid #bfbfbf; } #help dt { float: left; border-radius: 3px; border: 1px solid #bfbfbf; background: #fff; width: 23px; text-align: center; clear: left; display: block; margin-top: -1px; } #help dd { margin: 5px 33px; } #help .infos { padding-left: 0; } #help h1 { margin-top: 0; } #help div { width: 50%; float: left; padding: 20px; } .stability { border-left: 6px solid; padding: 3px 6px; border-radius: 3px; } h1 .stability { text-transform: lowercase; font-weight: 400; margin-left: 14px; padding: 4px 10px; } .impl-items .stability, .methods .stability { margin-right: 20px; } .stability.Deprecated { border-color: #A071A8; color: #82478C; } .stability.Experimental { border-color: #D46D6A; color: #AA3C39; } .stability.Unstable { border-color: #D4B16A; color: #AA8439; } .stability.Stable { border-color: #54A759; color: #2D8632; } .stability.Frozen { border-color: #009431; color: #007726; } .stability.Locked { border-color: #0084B6; color: #00668c; } .stability.Unmarked { border-color: #BBBBBB; } .summary { padding-right: 0px; } .summary.Deprecated { background-color: #A071A8; } .summary.Experimental { background-color: #D46D6A; } .summary.Unstable { background-color: #D4B16A; } .summary.Stable { background-color: #54A759; } .summary.Unmarked { background-color: #BBBBBB; } :target { background: #FDFFD3; } .line-numbers :target { background-color: transparent; } /* Code highlighting */ pre.rust .kw { color: #8959A8; } pre.rust .kw-2, pre.rust .prelude-ty { color: #4271AE; } pre.rust .number, pre.rust .string { color: #718C00; } pre.rust .self, pre.rust .boolval, pre.rust .prelude-val, pre.rust .attribute, pre.rust .attribute .ident { color: #C82829; } pre.rust .comment { color: #8E908C; } pre.rust .doccomment { color: #4D4D4C; } pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999F; } pre.rust .lifetime { color: #B76514; } .rusttest { display: none; } pre.rust { position: relative; } .test-arrow { display: inline-block; position: absolute; top: 0; right: 10px; font-size: 150%; -webkit-transform: scaleX(-1); transform: scaleX(-1); } .methods .section-header { /* Override parent class attributes. */ border-bottom: none !important; font-size: 1.1em !important; margin: 0 0 -5px; padding: 0; } .section-header:hover a:after { content: '\2002\00a7\2002'; } .section-header:hover a { text-decoration: none; } .section-header a { color: inherit; } .collapse-toggle { font-weight: 300; position: absolute; left: 13px; color: #999; margin-top: 2px; } .toggle-wrapper > .collapse-toggle { left: -24px; margin-top: 0px; } .toggle-wrapper { position: relative; } .toggle-wrapper.collapsed { height: 1em; transition: height .2s; } .collapse-toggle > .inner { display: inline-block; width: 1ch; text-align: center; } .toggle-label { color: #999; } /* Media Queries */ @media (max-width: 700px) { body { padding-top: 0px; } .sidebar { height: 40px; min-height: 40px; width: 100%; margin: 0px; padding: 0px; position: static; } .sidebar .location { float: left; margin: 0px; padding: 5px; width: 60%; background: inherit; text-align: left; font-size: 24px; } .sidebar img { width: 35px; margin-top: 5px; margin-bottom: 0px; float: left; } nav.sub { margin: 0 auto; } .sidebar .block { display: none; } .content { margin-left: 0px; } .content .in-band { width: 100%; } .content .out-of-band { display: none; } .toggle-wrapper > .collapse-toggle { left: 0px; } .toggle-wrapper { height: 1.5em; } } @media print { nav.sub, .content .out-of-band, .collapse-toggle { display: none; } }