@import "normalize.css";
* {
-webkit-box-sizing: border-box;
-moz-box-sizing: border-box;
box-sizing: border-box;
}
body {
font: 11pt sans-serif;
line-height: 150%;
background: #000030;
}
h1, .sidebar .location {
font: 16pt sans-serif;
}
h2 {
font: 16pt sans-serif;
}
h3, h4 {
font: 13pt sans-serif;
}
p {
margin-top: 3pt;
margin-bottom: 3pt;
}
.methods h3, h4 {
margin-right: -15pt;
margin-top: 10pt;
margin-bottom: 10pt;
box-shadow: 1px 1px 2px #000000;
border-top-left-radius: 1em;
border-bottom-left-radius: 1em;
padding: 5pt 5pt 5pt 15pt;
background: #D1D1D1;
}
h2 code, h3 code, h4 code, .methods h3 code {
text-transform: none;
font-size: 100%;
}
h3 code {
text-transform: none;
font-size: 100%;
}
pre {
border-radius: 1.0em;
background: #F3F3F3;
box-shadow: inset 1pt 1pt 2pt #000000;
}
pre.rust {
overflow: auto;
white-space: pre;
}
pre, h1.fqn {
font: monospace;
}
code {
font: monospace;
}
h1.fqn {
font-size: 20pt;
font-weight: normal;
}
nav {
font: 700 26px sans-serif;
text-transform: uppercase;
}
nav.sub {
padding-top: 10pt;
padding-bottom: 10pt;
padding-right: 5pt;
font: 700 16px sans-serif;
text-transform: uppercase;
text-align: right;
}
html, body {
min-height: 100%;
height: 100%;
}
body {
position: relative;
height: auto;
padding-bottom: 10pt;
}
.sidebar {
width: 170pt;
max-height: 100%;
position: fixed;
left: 0;
top: 0;
overflow-x: hidden;
overflow-y: auto;
border-bottom-right-radius: 1.0em;
}
.js-only, .hidden { display: none; }
.sidebar {
background: #E1E1E1;
}
.sidebar img {
margin: 20px auto;
display: block;
}
.sidebar .location {
margin-bottom: 10pt;
margin-top: 10pt;
padding: 3pt;
}
.sidebar > a:hover[href] {
border: none;
margin: 0;
}
.block {
margin-bottom: 10pt;
}
.block h2 { margin-top: 0; }
.block a {
font-weight: bold;
margin-left: 15px;
margin-right: 15px;
display: block;
}
.block a:hover[href] {
margin-left: 14px;
margin-right: 14px;
}
.content {
background: #E1E1E1;
padding: 15pt 15pt 15pt 15pt;
border-radius: 10pt;
box-shadow: 1px 1px 2px #000000;
}
.content h1 {
margin-top: 0;
}
.content h1.fqn, .content > h2, .content > h3 {
background-color: #000030;
background-image: linear-gradient( #000030, #000090 );
margin-left: -15pt;
margin-right: -15pt;
color: #FFFFFF;
padding: 3pt;
}
.content > h3 {
font-size: 16pt;
}
.sidebar h2 {
background-color: #000030;
background-image: linear-gradient( #000030, #000090 );
margin-bottom: 10pt;
color: #FFFFFF;
padding: 3pt;
}
.content > h3.impl {
margin-left: -15pt;
margin-right: -15pt;
margin-top: 10pt;
margin-bottom: 10pt;
background-color: #D1D1D1;
background-image: none;
color: black;
padding: 3pt;
box-shadow: 1px 1px 2px #000000;
}
.content h1.fqn a:hover[href], .content > h2 a:hover[href] {
text-shadow: 0 0 0.25em #EEEEEC;
border: 0px;
margin: 0px;
}
.content h1.fqn a, .content > h2 a {
color: #FCFCFC
}
.content pre {
padding: 15pt;
padding-top: 10pt;
padding-bottom: 10pt;
}
.content pre.line-numbers {
float: left;
border: none;
border-radius: 0;
border-width: 1px;
box-shadow: none;
background: none;
padding-right: 5px;
margin-right: 10px;
}
.line-numbers .line-highlighted {
font-weight: bold;
}
.content .highlighted {
cursor: pointer;
background: #C6C6C6;
}
.docblock.short.nowrap {
display: block;
overflow: hidden;
white-space: nowrap;
text-overflow: ellipsis;
}
.docblock.short p {
overflow: hidden;
text-overflow: ellipsis;
margin: 0;
}
.docblock h1, .docblock h2, .docblock h3, .docblock h4, .docblock h5 {
margin-left: 0;
}
.docblock h1 { font-size: 13pt; }
.docblock h2 { font-size: 14pt; }
.docblock h3, .docblock h4, .docblock h5 { font-size: 10pt; }
.content table {
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; }
ul {
margin-top: 3pt;
margin-bottom: 3pt;
}
ol {
margin-top: 3pt;
margin-bottom: 3pt;
}
.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; }
.content .methods .docblock { margin-left: 15pt; }
nav {
}
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: 180pt;
margin-right: 10pt;
}
a[href] {
text-decoration: none;
color: #1D23A5;
}
a:hover[href] {
border: 1px dotted #000000;
margin: -1px -1px -1px -1px;
}
td a {
font-weight: bold;
}
button {
padding: 2px;
}
.content .fnname { font-weight: bold; }
.search-input {
border: none;
background-color: #FCFCFC;
border-radius: 0.6em;
width: 100%;
height: 20pt;
padding-left: 5pt;
}
.do-search {
display: none;
}
.search-results a {
color: #000
}
.search-results a:hover {
border: none;
margin: 0px
}
.search-results .desc {
white-space: nowrap;
text-overflow: ellipsis;
overflow: hidden;
display: block;
font-weight: normal;
}
#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: 250px;
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;
}
.fqn .stability {
margin-right: 4pt;
float: left;
width: 1.0em;
text-overflow: clip;
white-space: nowrap;
overflow: hidden;
}
.stability {
text-transform: lowercase;
margin-right: 2pt;
}
.fqn .stability::before { content: "⬠ "; }
.stability::before { content: "⬠"; }
.fqn .stability.Deprecated::before { content: "✖ "; }
.stability.Deprecated::before { content: "✖"; }
.fqn .stability.Experimental::before { content: "⚒ "; }
.stability.Experimental::before { content: "⚒"; }
.fqn .stability.Unstable::before { content: "☢ "; }
.stability.Unstable::before { content: "☢"; }
.fqn .stability.Stable::before { content: "✔ "; }
.stability.Stable::before { content: "✔"; }
.fqn .stability.Frozen::before { content: "❄ "; }
.stability.Frozen::before { content: "❄"; }
.fqn .stability.Locked::before { content: "⚷ "; }
.stability.Locked::before { content: "⚷"; }
.stability.Deprecated { border-color: #D60027; color: #880017 !important; }
.stability.Experimental { border-color: #EC5315; color: #a53c0e !important; }
.stability.Unstable { border-color: #FFD700; color: #b39800 !important; }
.stability.Stable { border-color: #AEC516; color: #7c8b10 !important; }
.stability.Frozen { border-color: #009431; color: #007726 !important; }
.stability.Locked { border-color: #0084B6; color: #00668c !important; }
pre.rust .kw { font-weight: bold; color: #0000d0; }
pre.rust .kw-2 { color: #0000d0; }
pre.rust .number { color: #3C037F; }
pre.rust .string { color: #E028C2; }
pre.rust .self, pre.rust .boolval { font-weight: bold; color: #0000d0; }
pre.rust .attribute, pre.rust .attribute .ident { color: #6D1173; }
pre.rust .comment { color: #017106; }
pre.rust .doccomment { color: #3F5FBF; }
pre.rust .macro, pre.rust .macro-nonterminal { color: #007F7F; }
pre.rust .lifetime { color: #0000d0; }
.rusttest { display: none; }
pre.rust { position: relative; }
pre.rust a { transform: scaleX(-1); }
.test-arrow {
display: inline-block;
position: absolute;
top: 10px;
right: 10px;
font-size: 250%;
}
.content .out-of-band {
float: right;
}
.content .in-band {
display: inline-block;
}
.collapse-toggle .inner {
font: 10pt monospace;
}
.summary {
padding-right: 0px;
height: 12pt;
}
.summary.Deprecated { background-color: #A071A8; }
.summary.Experimental { background-color: #D46D6A; }
.summary.Unstable { background-color: #D4B16A; }
.summary.Stable { background-color: #54A759; }
.summary.Unmarked { background-color: #FFFFFF; }