rust/src/librustdoc/html/layout.rs

211 lines
7.7 KiB
Rust
Raw Normal View History

2018-01-23 00:45:34 +01:00
use std::path::PathBuf;
2019-02-23 16:40:07 +09:00
use crate::externalfiles::ExternalHtml;
use crate::html::render::ensure_trailing_slash;
2019-08-31 09:07:29 -04:00
use crate::html::format::{Buffer, Print};
2019-01-31 15:42:45 +01:00
#[derive(Clone)]
pub struct Layout {
pub logo: String,
pub favicon: String,
pub external_html: ExternalHtml,
pub krate: String,
/// The given user css file which allow to customize the generated
/// documentation theme.
pub css_file_extension: Option<PathBuf>,
/// If false, the `select` element to have search filtering by crates on rendered docs
/// won't be generated.
pub generate_search_filter: bool,
}
pub struct Page<'a> {
pub title: &'a str,
pub css_class: &'a str,
pub root_path: &'a str,
pub static_root_path: Option<&'a str>,
pub description: &'a str,
2016-03-13 15:36:01 +01:00
pub keywords: &'a str,
2018-02-24 19:14:36 +01:00
pub resource_suffix: &'a str,
pub extra_scripts: &'a [&'a str],
pub static_extra_scripts: &'a [&'a str],
}
pub fn render<T: Print, S: Print>(
2018-12-20 13:28:55 +01:00
layout: &Layout,
2019-02-23 16:40:07 +09:00
page: &Page<'_>,
sidebar: S,
t: T,
2018-12-20 13:28:55 +01:00
themes: &[PathBuf],
) -> String {
let static_root_path = page.static_root_path.unwrap_or(page.root_path);
format!("<!DOCTYPE html>\
2018-04-14 17:13:46 +02:00
<html lang=\"en\">\
<head>\
<meta charset=\"utf-8\">\
<meta name=\"viewport\" content=\"width=device-width, initial-scale=1.0\">\
<meta name=\"generator\" content=\"rustdoc\">\
<meta name=\"description\" content=\"{description}\">\
<meta name=\"keywords\" content=\"{keywords}\">\
<title>{title}</title>\
<link rel=\"stylesheet\" type=\"text/css\" href=\"{static_root_path}normalize{suffix}.css\">\
<link rel=\"stylesheet\" type=\"text/css\" href=\"{static_root_path}rustdoc{suffix}.css\" \
2018-04-14 17:13:46 +02:00
id=\"mainThemeStyle\">\
{themes}\
<link rel=\"stylesheet\" type=\"text/css\" href=\"{static_root_path}dark{suffix}.css\">\
<link rel=\"stylesheet\" type=\"text/css\" href=\"{static_root_path}light{suffix}.css\" \
2018-04-14 17:13:46 +02:00
id=\"themeStyle\">\
<script src=\"{static_root_path}storage{suffix}.js\"></script>\
<noscript><link rel=\"stylesheet\" href=\"{static_root_path}noscript{suffix}.css\"></noscript>\
2018-04-14 17:13:46 +02:00
{css_extension}\
{favicon}\
{in_header}\
2018-11-29 01:29:49 +01:00
<style type=\"text/css\">\
#crate-search{{background-image:url(\"{static_root_path}down-arrow{suffix}.svg\");}}\
2018-11-29 01:29:49 +01:00
</style>\
2018-04-14 17:13:46 +02:00
</head>\
<body class=\"rustdoc {css_class}\">\
<!--[if lte IE 8]>\
<div class=\"warning\">\
This old browser is unsupported and will most likely display funky \
things.\
</div>\
<![endif]-->\
{before_content}\
<nav class=\"sidebar\">\
<div class=\"sidebar-menu\">&#9776;</div>\
{logo}\
{sidebar}\
</nav>\
<div class=\"theme-picker\">\
<button id=\"theme-picker\" aria-label=\"Pick another theme!\">\
<img src=\"{static_root_path}brush{suffix}.svg\" \
width=\"18\" \
alt=\"Pick another theme!\">\
2018-04-14 17:13:46 +02:00
</button>\
<div id=\"theme-choices\"></div>\
</div>\
<script src=\"{static_root_path}theme{suffix}.js\"></script>\
2018-04-14 17:13:46 +02:00
<nav class=\"sub\">\
<form class=\"search-form js-only\">\
<div class=\"search-container\">\
2018-12-20 13:28:55 +01:00
<div>{filter_crates}\
2018-10-01 00:47:54 +02:00
<input class=\"search-input\" name=\"search\" \
autocomplete=\"off\" \
spellcheck=\"false\" \
placeholder=\"Click or press S to search, ? for more options…\" \
type=\"search\">\
</div>\
2018-04-13 22:54:09 +02:00
<a id=\"settings-menu\" href=\"{root_path}settings.html\">\
<img src=\"{static_root_path}wheel{suffix}.svg\" \
width=\"18\" \
alt=\"Change settings\">\
2018-04-13 22:54:09 +02:00
</a>\
2018-04-14 17:13:46 +02:00
</div>\
</form>\
</nav>\
<section id=\"main\" class=\"content\">{content}</section>\
<section id=\"search\" class=\"content hidden\"></section>\
<section class=\"footer\"></section>\
{after_content}\
<script>\
window.rootPath = \"{root_path}\";\
window.currentCrate = \"{krate}\";\
</script>\
<script src=\"{root_path}aliases{suffix}.js\"></script>\
<script src=\"{static_root_path}main{suffix}.js\"></script>\
{static_extra_scripts}\
2018-11-06 01:40:12 +01:00
{extra_scripts}\
<script defer src=\"{root_path}search-index{suffix}.js\"></script>\
2018-04-14 17:13:46 +02:00
</body>\
</html>",
css_extension = if layout.css_file_extension.is_some() {
format!("<link rel=\"stylesheet\" \
type=\"text/css\" \
href=\"{static_root_path}theme{suffix}.css\">",
static_root_path = static_root_path,
2018-02-24 19:14:36 +01:00
suffix=page.resource_suffix)
2016-03-13 15:36:01 +01:00
} else {
String::new()
2016-03-13 15:36:01 +01:00
},
content = Buffer::html().to_display(t),
static_root_path = static_root_path,
root_path = page.root_path,
css_class = page.css_class,
2019-01-31 15:42:45 +01:00
logo = {
let p = format!("{}{}", page.root_path, layout.krate);
let p = ensure_trailing_slash(&p);
2019-01-31 15:42:45 +01:00
if layout.logo.is_empty() {
format!("<a href='{path}index.html'>\
<div class='logo-container'>\
2019-04-29 11:45:06 +02:00
<img src='{static_root_path}rust-logo{suffix}.png' alt='logo'></div></a>",
2019-01-31 15:42:45 +01:00
path=p,
static_root_path=static_root_path,
suffix=page.resource_suffix)
} else {
format!("<a href='{}index.html'>\
2019-04-29 11:45:06 +02:00
<div class='logo-container'><img src='{}' alt='logo'></div></a>",
2019-01-31 15:42:45 +01:00
p,
layout.logo)
}
},
title = page.title,
description = page.description,
keywords = page.keywords,
favicon = if layout.favicon.is_empty() {
2019-01-12 22:27:09 +01:00
format!(r#"<link rel="shortcut icon" href="{static_root_path}favicon{suffix}.ico">"#,
static_root_path=static_root_path,
suffix=page.resource_suffix)
} else {
format!(r#"<link rel="shortcut icon" href="{}">"#, layout.favicon)
},
in_header = layout.external_html.in_header,
before_content = layout.external_html.before_content,
after_content = layout.external_html.after_content,
2019-08-31 09:07:29 -04:00
sidebar = Buffer::html().to_display(sidebar),
krate = layout.krate,
2018-01-23 00:45:34 +01:00
themes = themes.iter()
.filter_map(|t| t.file_stem())
.filter_map(|t| t.to_str())
2018-04-13 22:54:09 +02:00
.map(|t| format!(r#"<link rel="stylesheet" type="text/css" href="{}{}{}.css">"#,
static_root_path,
2018-04-13 22:54:09 +02:00
t,
page.resource_suffix))
2018-01-23 00:45:34 +01:00
.collect::<String>(),
2018-02-24 19:14:36 +01:00
suffix=page.resource_suffix,
static_extra_scripts=page.static_extra_scripts.iter().map(|e| {
format!("<script src=\"{static_root_path}{extra_script}.js\"></script>",
static_root_path=static_root_path,
extra_script=e)
}).collect::<String>(),
extra_scripts=page.extra_scripts.iter().map(|e| {
format!("<script src=\"{root_path}{extra_script}.js\"></script>",
2018-11-06 01:40:12 +01:00
root_path=page.root_path,
extra_script=e)
2018-11-06 01:40:12 +01:00
}).collect::<String>(),
filter_crates=if layout.generate_search_filter {
2018-12-20 13:28:55 +01:00
"<select id=\"crate-search\">\
<option value=\"All crates\">All crates</option>\
</select>"
} else {
""
},
)
}
pub fn redirect(url: &str) -> String {
// <script> triggers a redirect before refresh, so this is fine.
format!(
r##"<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="refresh" content="0;URL={url}">
</head>
<body>
<p>Redirecting to <a href="{url}">{url}</a>...</p>
<script>location.replace("{url}" + location.search + location.hash);</script>
</body>
</html>"##,
url = url,
)
}