<base href="{{ path_to_root }}">
<link rel="stylesheet" href="book.css">
- <link href="https://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800" rel="stylesheet" type="text/css">
- <link href="https://fonts.googleapis.com/css?family=Source+Code+Pro:500" rel="stylesheet" type="text/css">
<link rel="shortcut icon" href="{{ favicon }}">
<!-- Font Awesome -->
- <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css">
+ <link rel="stylesheet" href="../../font-awesome.min.css">
- <link rel="stylesheet" href="highlight.css">
+ <link rel="stylesheet" href="../../highlight.css">
<link rel="stylesheet" href="tomorrow-night.css">
<link rel="stylesheet" href="ayu-highlight.css">
{{#if mathjax_support}}
<!-- MathJax -->
- <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
+ <script type="text/javascript" src="../../mathjax/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
{{/if}}
- <!-- Fetch Clipboard.js from CDN but have a local fallback -->
- <script src="https://cdn.jsdelivr.net/clipboard.js/1.6.1/clipboard.min.js"></script>
- <script>
- if (typeof Clipboard == 'undefined') {
- document.write(unescape("%3Cscript src='clipboard.min.js'%3E%3C/script%3E"));
- }
- </script>
-
- <!-- Fetch JQuery from CDN but have a local fallback -->
- <script src="https://code.jquery.com/jquery-2.1.4.min.js"></script>
- <script>
- if (typeof jQuery == 'undefined') {
- document.write(unescape("%3Cscript src='jquery.js'%3E%3C/script%3E"));
- }
- </script>
-
- <!-- Fetch store.js from local - TODO add CDN when 2.x.x is available on cdnjs -->
- <script src="store.js"></script>
+ <script src="../../jquery.min.js"></script>
<!-- Custom JS script -->
{{#each additional_js}}
</head>
<body class="light">
- <!-- Set the theme before any content is loaded, prevents flash -->
- <script type="text/javascript">
- var theme = store.get('mdbook-theme');
- if (theme === null || theme === undefined) { theme = 'light'; }
- $('body').removeClass().addClass(theme);
- </script>
-
- <!-- Hide / unhide sidebar before it is displayed -->
- <script type="text/javascript">
- var sidebar = store.get('mdbook-sidebar');
- if (sidebar === "hidden") { $("html").addClass("sidebar-hidden") }
- else if (sidebar === "visible") { $("html").addClass("sidebar-visible") }
- </script>
-
<div id="sidebar" class="sidebar">
{{#toc}}{{/toc}}
</div>
</div>
- <!-- Local fallback for Font Awesome -->
- <script>
- if ($(".fa").css("font-family") !== "FontAwesome") {
- $('<link rel="stylesheet" type="text/css" href="_FontAwesome/css/font-awesome.css">').prependTo('head');
- }
- </script>
-
<!-- Livereload script (if served using the cli tool) -->
{{{livereload}}}
- {{#if google_analytics}}
- <script>
- (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
- (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
- m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
- })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
-
- ga('create', '{{google_analytics}}', 'auto');
- ga('send', 'pageview');
- </script>
- {{/if}}
-
- {{#if playpens_editable}}
- <script src="{{ ace_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ editor_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ mode_rust_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ theme_dawn_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ theme_tomorrow_night_js }}" type="text/javascript" charset="utf-8"></script>
- {{/if}}
-
{{#if is_print}}
<script>
$(document).ready(function() {
</script>
{{/if}}
- <script src="highlight.js"></script>
+ <script src="../../highlight.js"></script>
<script src="book.js"></script>
</body>
</html>
<base href="{{ path_to_root }}">
<link rel="stylesheet" href="book.css">
- <link href="https://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800" rel="stylesheet" type="text/css">
- <link href="https://fonts.googleapis.com/css?family=Source+Code+Pro:500" rel="stylesheet" type="text/css">
<link rel="shortcut icon" href="{{ favicon }}">
<!-- Font Awesome -->
- <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css">
+ <link rel="stylesheet" href="../font-awesome.min.css">
- <link rel="stylesheet" href="highlight.css">
+ <link rel="stylesheet" href="../highlight.css">
<link rel="stylesheet" href="tomorrow-night.css">
<link rel="stylesheet" href="ayu-highlight.css">
{{#if mathjax_support}}
<!-- MathJax -->
- <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
+ <script type="text/javascript" src="../mathjax/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
{{/if}}
- <!-- Fetch Clipboard.js from CDN but have a local fallback -->
- <script src="https://cdn.jsdelivr.net/clipboard.js/1.6.1/clipboard.min.js"></script>
- <script>
- if (typeof Clipboard == 'undefined') {
- document.write(unescape("%3Cscript src='clipboard.min.js'%3E%3C/script%3E"));
- }
- </script>
-
- <!-- Fetch JQuery from CDN but have a local fallback -->
- <script src="https://code.jquery.com/jquery-2.1.4.min.js"></script>
- <script>
- if (typeof jQuery == 'undefined') {
- document.write(unescape("%3Cscript src='jquery.js'%3E%3C/script%3E"));
- }
- </script>
-
- <!-- Fetch store.js from local - TODO add CDN when 2.x.x is available on cdnjs -->
- <script src="store.js"></script>
+ <script src="../jquery.min.js"></script>
<!-- Custom JS script -->
{{#each additional_js}}
</head>
<body class="light">
- <!-- Set the theme before any content is loaded, prevents flash -->
- <script type="text/javascript">
- var theme = store.get('theme');
- if (theme === null || theme === undefined) { theme = 'light'; }
- $('body').removeClass().addClass(theme);
- </script>
-
- <!-- Hide / unhide sidebar before it is displayed -->
- <script type="text/javascript">
- var sidebar = store.get('sidebar');
- if (sidebar === "hidden") { $("html").addClass("sidebar-hidden") }
- else if (sidebar === "visible") { $("html").addClass("sidebar-visible") }
- </script>
-
<div id="sidebar" class="sidebar">
{{#toc}}{{/toc}}
</div>
</div>
- <!-- Local fallback for Font Awesome -->
- <script>
- if ($(".fa").css("font-family") !== "FontAwesome") {
- $('<link rel="stylesheet" type="text/css" href="_FontAwesome/css/font-awesome.css">').prependTo('head');
- }
- // START - Rust-By-Example customization
- $("#edit-button").click(function(){
- var editWindow = window.open("https://github.com/rust-lang/rust-by-example/edit/master/src/{{ path }}");
- });
-
- // END - Rust-By-Example customization
- </script>
-
<!-- Livereload script (if served using the cli tool) -->
{{{livereload}}}
- {{#if google_analytics}}
- <script>
- (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
- (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
- m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
- })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
-
- ga('create', '{{google_analytics}}', 'auto');
- ga('send', 'pageview');
- </script>
- {{/if}}
-
- {{#if playpens_editable}}
- <script src="{{ ace_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ editor_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ mode_rust_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ theme_dawn_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ theme_tomorrow_night_js }}" type="text/javascript" charset="utf-8"></script>
- {{/if}}
-
{{#if is_print}}
<script>
$(document).ready(function() {
</script>
{{/if}}
- <script src="highlight.js"></script>
+ <script src="../highlight.js"></script>
<script src="book.js"></script>
</body>
</html>
url.starts_with("irc:") || url.starts_with("data:") {
return;
}
+ // Ignore parent URLs, so that the package installation process can
+ // provide a symbolic link later
+ if url.starts_with("../") {
+ return;
+ }
let mut parts = url.splitn(2, "#");
let url = parts.next().unwrap();
let fragment = parts.next();
let mut js = File::create(themedir.join("book.js"))?;
js.write_all(theme::JS)?;
- let mut highlight_css = File::create(themedir.join("highlight.css"))?;
- highlight_css.write_all(theme::HIGHLIGHT_CSS)?;
-
- let mut highlight_js = File::create(themedir.join("highlight.js"))?;
- highlight_js.write_all(theme::HIGHLIGHT_JS)?;
-
Ok(())
}
use book::{Book, BookItem, Chapter};
use config::{Config, HtmlConfig, Playpen};
use {theme, utils};
-use theme::{playpen_editor, Theme};
+use theme::{Theme};
use errors::*;
use regex::{Captures, Regex};
self.write_file(destination, "book.js", &theme.js)?;
self.write_file(destination, "book.css", &theme.css)?;
self.write_file(destination, "favicon.png", &theme.favicon)?;
- self.write_file(destination, "highlight.css", &theme.highlight_css)?;
self.write_file(destination, "tomorrow-night.css", &theme.tomorrow_night_css)?;
self.write_file(destination, "ayu-highlight.css", &theme.ayu_highlight_css)?;
- self.write_file(destination, "highlight.js", &theme.highlight_js)?;
- self.write_file(destination, "clipboard.min.js", &theme.clipboard_js)?;
- self.write_file(
- destination,
- "_FontAwesome/css/font-awesome.css",
- theme::FONT_AWESOME,
- )?;
- self.write_file(
- destination,
- "_FontAwesome/fonts/fontawesome-webfont.eot",
- theme::FONT_AWESOME_EOT,
- )?;
- self.write_file(
- destination,
- "_FontAwesome/fonts/fontawesome-webfont.svg",
- theme::FONT_AWESOME_SVG,
- )?;
- self.write_file(
- destination,
- "_FontAwesome/fonts/fontawesome-webfont.ttf",
- theme::FONT_AWESOME_TTF,
- )?;
- self.write_file(
- destination,
- "_FontAwesome/fonts/fontawesome-webfont.woff",
- theme::FONT_AWESOME_WOFF,
- )?;
- self.write_file(
- destination,
- "_FontAwesome/fonts/fontawesome-webfont.woff2",
- theme::FONT_AWESOME_WOFF2,
- )?;
- self.write_file(
- destination,
- "_FontAwesome/fonts/FontAwesome.ttf",
- theme::FONT_AWESOME_TTF,
- )?;
-
- let playpen_config = &html_config.playpen;
-
- // Ace is a very large dependency, so only load it when requested
- if playpen_config.editable {
- // Load the editor
- let editor = playpen_editor::PlaypenEditor::new(&playpen_config.editor);
- self.write_file(destination, "editor.js", &editor.js)?;
- self.write_file(destination, "ace.js", &editor.ace_js)?;
- self.write_file(destination, "mode-rust.js", &editor.mode_rust_js)?;
- self.write_file(destination, "theme-dawn.js", &editor.theme_dawn_js)?;
- self.write_file(destination,
- "theme-tomorrow_night.js",
- &editor.theme_tomorrow_night_js,
- )?;
- }
Ok(())
}
<base href="{{ path_to_root }}">
<link rel="stylesheet" href="book.css">
- <link href="https://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800" rel="stylesheet" type="text/css">
- <link href="https://fonts.googleapis.com/css?family=Source+Code+Pro:500" rel="stylesheet" type="text/css">
<link rel="shortcut icon" href="{{ favicon }}">
<!-- Font Awesome -->
- <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css">
+ <link rel="stylesheet" href="../font-awesome.min.css">
- <link rel="stylesheet" href="highlight.css">
+ <link rel="stylesheet" href="../highlight.css">
<link rel="stylesheet" href="tomorrow-night.css">
<link rel="stylesheet" href="ayu-highlight.css">
{{#if mathjax_support}}
<!-- MathJax -->
- <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
+ <script type="text/javascript" src="../mathjax/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
{{/if}}
- <!-- Fetch Clipboard.js from CDN but have a local fallback -->
- <script src="https://cdn.jsdelivr.net/clipboard.js/1.6.1/clipboard.min.js"></script>
- <script>
- if (typeof Clipboard == 'undefined') {
- document.write(unescape("%3Cscript src='clipboard.min.js'%3E%3C/script%3E"));
- }
- </script>
-
</head>
<body class="light">
- <!-- Work around some values being stored in localStorage wrapped in quotes -->
- <script type="text/javascript">
- try {
- var theme = localStorage.getItem('mdbook-theme');
- var sidebar = localStorage.getItem('mdbook-sidebar');
- if (theme.startsWith('"') && theme.endsWith('"')) {
- localStorage.setItem('mdbook-theme', theme.slice(1, theme.length - 1));
- }
-
- if (sidebar.startsWith('"') && sidebar.endsWith('"')) {
- localStorage.setItem('mdbook-sidebar', sidebar.slice(1, sidebar.length - 1));
- }
- } catch (e) { }
- </script>
-
- <!-- Set the theme before any content is loaded, prevents flash -->
- <script type="text/javascript">
- var theme;
- try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
- if (theme === null || theme === undefined) { theme = 'light'; }
- document.body.className = theme;
- document.querySelector('html').className = theme;
- </script>
-
- <!-- Hide / unhide sidebar before it is displayed -->
- <script type="text/javascript">
- var sidebar = 'hidden';
- if (document.body.clientWidth >= 1080) {
- try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
- sidebar = sidebar || 'visible';
- }
- document.querySelector('html').classList.add("sidebar-" + sidebar);
- </script>
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
{{#toc}}{{/toc}}
</div>
- <!-- Local fallback for Font Awesome -->
- <script>
- if (getComputedStyle(document.querySelector(".fa")).fontFamily !== "FontAwesome") {
- var link = document.createElement('link');
- link.rel = 'stylesheet';
- link.type = 'text/css';
- link.href = '_FontAwesome/css/font-awesome.css';
- document.head.insertBefore(link, document.head.firstChild)
- }
- </script>
-
{{#if livereload}}
<!-- Livereload script (if served using the cli tool) -->
<script type="text/javascript">
</script>
{{/if}}
- {{#if google_analytics}}
- <!-- Google Analytics Tag -->
- <script>
- var localAddrs = ["localhost", "127.0.0.1", ""];
-
- // make sure we don't activate google analytics if the developer is
- // inspecting the book locally...
- if (localAddrs.indexOf(document.location.hostname) === -1) {
- (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
- (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
- m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
- })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
-
- ga('create', '{{google_analytics}}', 'auto');
- ga('send', 'pageview');
- }
- </script>
- {{/if}}
- {{#if playpens_editable}}
- <script src="{{ ace_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ editor_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ mode_rust_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ theme_dawn_js }}" type="text/javascript" charset="utf-8"></script>
- <script src="{{ theme_tomorrow_night_js }}" type="text/javascript" charset="utf-8"></script>
- {{/if}}
{{#if is_print}}
<script>
</script>
{{/if}}
- <script src="highlight.js"></script>
+ <script src="../highlight.js"></script>
<script src="book.js"></script>
<!-- Custom JS script -->
#![allow(missing_docs)] // FIXME: Document this
-pub mod playpen_editor;
-
use std::path::Path;
use std::fs::File;
use std::io::Read;
pub static CSS: &'static [u8] = include_bytes!("book.css");
pub static FAVICON: &'static [u8] = include_bytes!("favicon.png");
pub static JS: &'static [u8] = include_bytes!("book.js");
-pub static HIGHLIGHT_JS: &'static [u8] = include_bytes!("highlight.js");
pub static TOMORROW_NIGHT_CSS: &'static [u8] = include_bytes!("tomorrow-night.css");
-pub static HIGHLIGHT_CSS: &'static [u8] = include_bytes!("highlight.css");
pub static AYU_HIGHLIGHT_CSS: &'static [u8] = include_bytes!("ayu-highlight.css");
-pub static CLIPBOARD_JS: &'static [u8] = include_bytes!("clipboard.min.js");
-pub static FONT_AWESOME: &'static [u8] = include_bytes!("_FontAwesome/css/font-awesome.min.css");
-pub static FONT_AWESOME_EOT: &'static [u8] =
- include_bytes!("_FontAwesome/fonts/fontawesome-webfont.eot");
-pub static FONT_AWESOME_SVG: &'static [u8] =
- include_bytes!("_FontAwesome/fonts/fontawesome-webfont.svg");
-pub static FONT_AWESOME_TTF: &'static [u8] =
- include_bytes!("_FontAwesome/fonts/fontawesome-webfont.ttf");
-pub static FONT_AWESOME_WOFF: &'static [u8] =
- include_bytes!("_FontAwesome/fonts/fontawesome-webfont.woff");
-pub static FONT_AWESOME_WOFF2: &'static [u8] =
- include_bytes!("_FontAwesome/fonts/fontawesome-webfont.woff2");
-pub static FONT_AWESOME_OTF: &'static [u8] = include_bytes!("_FontAwesome/fonts/FontAwesome.otf");
/// The `Theme` struct should be used instead of the static variables because
pub css: Vec<u8>,
pub favicon: Vec<u8>,
pub js: Vec<u8>,
- pub highlight_css: Vec<u8>,
pub tomorrow_night_css: Vec<u8>,
pub ayu_highlight_css: Vec<u8>,
- pub highlight_js: Vec<u8>,
- pub clipboard_js: Vec<u8>,
}
impl Theme {
(theme_dir.join("book.js"), &mut theme.js),
(theme_dir.join("book.css"), &mut theme.css),
(theme_dir.join("favicon.png"), &mut theme.favicon),
- (theme_dir.join("highlight.js"), &mut theme.highlight_js),
- (theme_dir.join("clipboard.min.js"), &mut theme.clipboard_js),
- (theme_dir.join("highlight.css"), &mut theme.highlight_css),
(theme_dir.join("tomorrow-night.css"), &mut theme.tomorrow_night_css),
(theme_dir.join("ayu-highlight.css"), &mut theme.ayu_highlight_css),
];
css: CSS.to_owned(),
favicon: FAVICON.to_owned(),
js: JS.to_owned(),
- highlight_css: HIGHLIGHT_CSS.to_owned(),
tomorrow_night_css: TOMORROW_NIGHT_CSS.to_owned(),
ayu_highlight_css: AYU_HIGHLIGHT_CSS.to_owned(),
- highlight_js: HIGHLIGHT_JS.to_owned(),
- clipboard_js: CLIPBOARD_JS.to_owned(),
}
}
}
css: Vec::new(),
favicon: Vec::new(),
js: Vec::new(),
- highlight_css: Vec::new(),
tomorrow_night_css: Vec::new(),
ayu_highlight_css: Vec::new(),
- highlight_js: Vec::new(),
- clipboard_js: Vec::new(),
};
assert_eq!(got, empty);
projects / rustc.git / commitdiff