/**
 * Copyright 2013-2014 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.2 (MIT licensed).
 *
 * Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
 * http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
 * <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
 * option. This file may not be copied, modified, or distributed
 * except according to those terms.
 *
 * Modified by Daniel Keep.
 */
@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");
}

*:not(body) {
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
}

/* General structure */

body {
  background-color: #1b1b1b;
  margin: 0 auto;
  padding: 0 15px;
  font-family: "Source Serif Pro", Georgia, Times, "Times New Roman", serif;
  font-size: 18px;
  color: #ddd;
  line-height: 1.428571429;

  -webkit-font-feature-settings: "kern", "liga";
  -moz-font-feature-settings: "kern", "liga";
  font-feature-settings: "kern", "liga";
}
@media (min-width: 768px) {
  body {
    max-width: 750px;
  }
}

h1,
h2,
h3,
h4,
h5,
h6,
nav,
#versioninfo {
  font-family: "Open Sans", "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
}
h1,
h2,
h3,
h4,
h5,
h6 {
  color: #eee;
  font-weight: 400;
  line-height: 1.1;
}
h1,
h2,
h3 {
  margin-top: 20px;
  margin-bottom: 15px;
}
h1 {
  margin-bottom: 20px;
}
h4,
h5,
h6 {
  margin-top: 12px;
  margin-bottom: 10px;
  padding: 5px 10px;
}
h5,
h6 {
  text-decoration: underline;
}

h1 {
  font-size: 28px;
  font-weight: 500;
  padding: 0.1em 0.4em;
  border-bottom: 2px solid #666;
}
h1.title {
  line-height: 1.5em;
}
h2 {
  font-size: 26px;
  padding: 0.2em 0.5em;
  border-bottom: 1px solid #666;
}
h3 {
  font-size: 24px;
  padding: 0.2em 0.7em;
  border-bottom: 1px solid #666;
}
h4 {
  font-size: 22px;
}
h5 {
  font-size: 20px;
}
h6 {
  font-size: 18px;
}
@media (min-width: 992px) {
  h1 {
    font-size: 36px;
  }
  h2 {
    font-size: 30px;
  }
  h3 {
    font-size: 26px;
  }
}

nav {
  column-count: 2;
  -moz-column-count: 2;
  -webkit-column-count: 2;
  font-size: 15px;
  margin: 0 0 1em 0;
}
p {
  margin: 0 0 1em 0;
}

strong {
  font-weight: bold;
}

em {
  font-style: italic;
}

footer {
  border-top: 1px solid #666;
  font-size: 14.3px;
  font-style: italic;
  padding-top: 5px;
  margin-top: 3em;
  margin-bottom: 1em;
}

/* Links layout */

a {
  text-decoration: none;
  color: #428bca;
  background: transparent;
}
a:hover,
a:focus {
  color: #2a6496;
  text-decoration: underline;
}
a:focus {
  outline: thin dotted #ddd;
  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: #eee;
}
h1 a:hover,
h2 a:hover,
h3 a:hover,
h4 a:hover,
h5 a:hover {
  text-decoration: none;
}

/* Code */

pre,
code {
  font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", monospace;
  word-wrap: break-word;
}
pre > code.language-text {
  font-family: "DejaVu Sans Mono", unifont, "Consolas", "Liberation Mono", monospace;
}
pre {
  background-color: #222222;
  color: #f8f8f2;
  border-left: 2px solid #666;
  white-space: pre-wrap;
  padding: 14px;
  padding-right: 0;
  margin: 20px 0;
  font-size: 13px;
  word-break: break-all;
}
pre code {
  background-color: transparent;
  border: 0;
}
code {
  padding: 0 2px;
  color: #e1d4a9;
  font-size: 13px;
  background-color: #222222;
  border-bottom: 1px solid #181818;
}
pre code {
  padding: 0;
  font-size: inherit;
  color: inherit;
}

a > code {
  color: #428bca;
}

/* Code highlighting */
pre.rust .kw {
  color: #f92672;
}
pre.rust .kw-2 {
  color: #f92672;
}
pre.rust .prelude-ty {
  color: #66d9ef;
}
pre.rust .number {
  color: #efd6ab;
}
pre.rust .string {
  color: #f8e9a5;
}
pre.rust .self {
  color: #f92672;
}
pre.rust .boolval {
  color: #efd6ab;
}
pre.rust .prelude-val {
  color: #66d9ef;
}
pre.rust .attribute {
  color: #c7afd1;
}
pre.rust .attribute .ident {
  color: #d4bbde;
}
pre.rust .comment {
  color: #75715e;
}
pre.rust .doccomment {
  color: #75715e;
}
pre.rust .macro {
  color: #ac7fe7;
}
pre.rust .macro-nonterminal {
  color: #cfc0e2;
}
pre.rust .lifetime {
  color: #b76514;
}
pre.rust .op {
  color: #f92672;
}

pre.rust .synctx-0 {
  background-color: rgba(255, 0, 0, 0.1);
}
pre.rust .synctx-1 {
  background-color: rgba(0, 255, 0, 0.1);
}
code .synctx-0 {
  background-color: rgba(255, 0, 0, 0.1);
}
code .synctx-1 {
  background-color: rgba(0, 255, 0, 0.1);
}

/* The rest */

#versioninfo {
  text-align: center;
  margin: 0.5em;
  font-size: 1.1em;
}
@media (min-width: 992px) {
  #versioninfo {
    font-size: 0.8em;
    position: fixed;
    bottom: 0px;
    right: 0px;
  }
  .white-sticker {
    background-color: #fff;
    margin: 2px;
    padding: 0 2px;
    border-radius: 0.2em;
  }
}
#versioninfo a.hash {
  color: gray;
  font-size: 80%;
}

blockquote {
  color: #ddd;
  margin: 20px 0;
  padding: 15px 20px;
  background-color: #1d1d1d;
  border-top: 0.1em solid #666;
  border-bottom: 0.1em solid #666;
}
blockquote p {
  font-size: 17px;
  font-weight: 300;
  line-height: 1.4;
}
blockquote p:last-child {
  margin-bottom: 0;
}

ul,
ol {
  padding-left: 25px;
}
ul ul,
ol ul,
ul ol,
ol ol {
  margin-bottom: 0;
}
dl {
  margin-bottom: 20px;
}
dd {
  margin-left: 0;
}

nav ul {
  list-style-type: none;
  margin: 0;
  padding-left: 0px;
}

/* Only display one level of hierarchy in the TOC */
nav ul ul {
  display: none;
}

sub,
sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
}

hr {
  margin-top: 20px;
  margin-bottom: 20px;
  border: 0;
  border-top: 1px solid #666;
}

table {
  border-collapse: collapse;
  border-spacing: 0;
  overflow-x: auto;
  display: block;
}

table tr.odd {
  background: #eee;
}

table td,
table th {
  border: 1px solid #666;
  padding: 5px;
}

/* Code snippets */

.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);
}

.unstable-feature {
  border: 2px solid red;
  padding: 5px;
}

@media (min-width: 1170px) {
  pre {
    font-size: 15px;
  }
}

@media print {
  * {
    text-shadow: none !important;
    color: #000 !important;
    background: transparent !important;
    box-shadow: none !important;
  }
  a,
  a:visited {
    text-decoration: underline;
  }
  p a[href]:after {
    content: " (" attr(href) ")";
  }
  footer a[href]:after {
    content: "";
  }
  a[href^="javascript:"]:after,
  a[href^="#"]:after {
    content: "";
  }
  pre,
  blockquote {
    border: 1px solid #666;
    page-break-inside: avoid;
  }
  @page {
    margin: 2cm 0.5cm;
  }
  h1:not(.title),
  h2,
  h3 {
    border-bottom: 0px none;
  }
  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;
  }
}

#keyword-table-marker + table thead {
  display: none;
}
#keyword-table-marker + table td {
  border: none;
}
#keyword-table-marker + table {
  margin-left: 2em;
  margin-bottom: 1em;
}