rust/src/rustbook/static/rustbook.css

158 lines
2.8 KiB
CSS

/**
* 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 <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.
*/
@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: 11px;
overflow: auto;
font-size: 85%;
line-height: 1.45;
background-color: #f7f7f7;
border: 0;
border-radius: 3px;
}
.left {
float: left;
}
.right {
float: right;
}