rust/src/rustbook/css.rs
2015-01-13 09:41:26 -08:00

127 lines
2.3 KiB
Rust

// Copyright 2014 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 <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.
// The rust-book CSS in string form.
pub static STYLE: &'static str = r#"
@import url("../rust.css");
body {
max-width:none;
}
#toc {
position: absolute;
left: 0px;
top: 0px;
bottom: 0px;
width: 250px;
overflow-y: auto;
border-right: 1px solid rgba(0, 0, 0, 0.07);
padding: 10px 10px;
font-size: 16px;
background: none repeat scroll 0% 0% #FFF;
box-sizing: border-box;
}
#page-wrapper {
position: absolute;
overflow-y: auto;
left: 260px;
right: 0px;
top: 0px;
bottom: 0px;
box-sizing: border-box;
background: none repeat scroll 0% 0% #FFF;
}
#page {
margin-left: auto;
margin-right:auto;
max-width: 750px;
}
.chapter {
list-style: none outside none;
padding-left: 0px;
line-height: 30px;
}
.section {
list-style: none outside none;
padding-left: 20px;
line-height: 30px;
}
.section li {
text-overflow: ellipsis;
overflow: hidden;
white-space: nowrap;
}
.chapter li a {
color: #000000;
}
@media only screen and (max-width: 1060px) {
#toc {
width: 100%;
margin-right: 0;
top: 40px;
}
#page-wrapper {
top: 40px;
left: 15px;
padding-right: 15px;
}
.mobile-hidden {
display: none;
}
}
#toggle-nav {
height: 20px;
width: 30px;
padding: 3px 3px 0 3px;
}
#toggle-nav {
margin-top: 5px;
width: 30px;
height: 30px;
background-color: #FFF;
border: 1px solid #666;
border-radius: 3px 3px 3px 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;
}
"#;