/** * Copyright 2013-2015 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. */ @import url('../rust.css'); body { max-width: none; font: 16px/1.6 'Source Serif Pro', Georgia, Times, 'Times New Roman', serif; color: #333; } h1, h2, h3, h4, h5, h6 { font-family: 'Open Sans', 'Fira Sans', 'Helvetica Neue', Helvetica, Arial, sans-serif; font-weight: bold; color: #333; } @media only screen { #toc { position: fixed; top: 0; left: 0; bottom: 0; width: 300px; overflow-y: auto; border-right: 1px solid #e8e8e8; padding: 0 15px; font-size: 14px; background-color: #fafafa; -webkit-overflow-scrolling: touch; } #page-wrapper { position: absolute; top: 0; left: 300px; right: 0; padding: 0 15px; -webkit-overflow-scrolling: touch; } } @media only print { #toc, #nav { display: none; } } @media only screen and (max-width: 1023px) { #toc { width: 100%; top: 40px; } #page-wrapper { top: 40px; left: 0; } .mobile-hidden { display: none; } } #page { margin: 0 auto; max-width: 750px; padding-bottom: 50px; } .chapter { list-style: none; padding-left: 0; line-height: 30px; } .section { list-style: none; padding-left: 20px; line-height: 40px; } .section li { text-overflow: ellipsis; overflow: hidden; white-space: nowrap; } .chapter li a { color: #333; padding: 5px 0; } .chapter li a.active, .chapter li a:hover { color: #008cff; text-decoration: none; } #toggle-nav { cursor: pointer; margin-top: 5px; width: 30px; height: 30px; background-color: #fff; border: 1px solid #666; border-radius: 3px; padding: 3px 3px 0 3px; } .sr-only { position: absolute; width: 1px; height: 1px; margin: -1px; padding: 0; overflow: hidden; clip: rect(0, 0, 0, 0); border: 0; } .bar { display: block; background-color: #000; border-radius: 2px; width: 100%; height: 2px; margin: 2px 0 3px; padding: 0; } pre { padding: 16px; overflow: auto; font-size: 85%; line-height: 1.45; background-color: #f7f7f7; border: 0; border-radius: 3px; } .left { float: left; } .right { float: right; }