2017-08-11 15:52:56 +08:00
<!DOCTYPE HTML>
<html lang=" {{ language }} ">
<head>
<meta charset="UTF-8">
<title> {{ chapter_title }} - {{ title }} </title>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<meta name="description" content=" {{ description }} ">
<meta name="viewport" content="width=device-width, initial-scale=1">
<base href=" {{ path_to_root }} ">
<link rel="stylesheet" href="book.css">
2017-08-11 18:29:22 +08:00
<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">
2017-08-11 15:52:56 +08:00
<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="highlight.css">
<link rel="stylesheet" href="tomorrow-night.css">
2017-08-11 18:29:22 +08:00
<link rel="stylesheet" href="ayu-highlight.css">
<!-- Custom theme -->
{{ # each additional_css }}
<link rel="stylesheet" href=" {{ this }} ">
{{ / each }}
2017-08-11 15:52:56 +08:00
<style>
.page-wrapper.has-warning > .nav-chapters {
/* add height for warning content & margin */
top: 120px;
}
p.warning {
background-color: rgb(242, 222, 222);
border-bottom-color: rgb(238, 211, 215);
border-bottom-left-radius: 4px;
border-bottom-right-radius: 4px;
border-bottom-style: solid;
border-bottom-width: 0.666667px;
border-image-outset: 0 0 0 0;
border-image-repeat: stretch stretch;
border-image-slice: 100% 100% 100% 100%;
border-image-source: none;
border-image-width: 1 1 1 1;
border-left-color: rgb(238, 211, 215);
border-left-style: solid;
border-left-width: 0.666667px;
border-right-color: rgb(238, 211, 215);
border-right-style: solid;
border-right-width: 0.666667px;
border-top-color: rgb(238, 211, 215);
border-top-left-radius: 4px;
border-top-right-radius: 4px;
border-top-style: solid;
border-top-width: 0.666667px;
color: rgb(185, 74, 72);
margin-bottom: 0px;
margin-left: 0px;
margin-right: 0px;
margin-top: 30px;
padding-bottom: 8px;
padding-left: 14px;
padding-right: 35px;
padding-top: 8px;
}
p.warning strong {
color: rgb(185, 74, 72)
}
p.warning a {
color: rgb(0, 136, 204)
}
a .hljs {
color: #4183c4;
}
.rust .content a .hljs,
.coal .content a .hljs,
.navy .content a .hljs {
color: #2b79a2;
}
a:hover .hljs {
text-decoration: underline;
}
/* Styles keystrokes such as ctrl-C */
.keystroke {
font-variant: small-caps;
}
</style>
2017-08-11 18:29:22 +08:00
{{ # if mathjax_support }}
2017-08-11 15:52:56 +08:00
<!-- MathJax -->
2017-08-11 18:29:22 +08:00
<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/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>
2017-08-11 15:52:56 +08:00
<!-- 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>
2017-08-11 18:29:22 +08:00
<!-- Fetch store.js from local - TODO add CDN when 2.x.x is available on cdnjs -->
<script src="store.js"></script>
<!-- Custom JS script -->
{{ # each additional_js }}
<script type="text/javascript" src=" {{ this }} "></script>
{{ / each }}
2018-01-11 10:27:53 +08:00
2017-08-11 15:52:56 +08:00
</head>
<body class="light">
<!-- Set the theme before any content is loaded, prevents flash -->
<script type="text/javascript">
2018-01-11 10:27:53 +08:00
var theme = store.get('mdbook-theme');
if (theme === null || theme === undefined) { theme = 'light'; }
2017-08-11 15:52:56 +08:00
$('body').removeClass().addClass(theme);
</script>
<!-- Hide / unhide sidebar before it is displayed -->
<script type="text/javascript">
2018-01-11 10:27:53 +08:00
var sidebar = store.get('mdbook-sidebar');
2017-08-11 15:52:56 +08:00
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 id="page-wrapper" class="page-wrapper has-warning">
2018-01-11 10:27:53 +08:00
<div class="page" tabindex="-1">
2017-08-11 15:52:56 +08:00
{{!-- <header><p class="warning">You are reading a <strong>draft</strong> of the next edition of TRPL. For more, go <a href="../index.html">here</a>.</p></header> --}}
2018-01-11 10:27:53 +08:00
<header></header>
2017-08-11 15:52:56 +08:00
<div id="menu-bar" class="menu-bar">
<div class="left-buttons">
<i id="sidebar-toggle" class="fa fa-bars"></i>
<i id="theme-toggle" class="fa fa-paint-brush"></i>
</div>
2018-01-11 10:27:53 +08:00
<h1 class="menu-title"> {{ book_title }} </h1>
2017-08-11 15:52:56 +08:00
<div class="right-buttons">
2018-01-11 10:27:53 +08:00
<a href="print.html">
<i id="print-button" class="fa fa-print" title="Print this book"></i>
</a>
2017-08-11 15:52:56 +08:00
</div>
</div>
<div id="content" class="content">
{{{ content }}}
</div>
<!-- Mobile navigation buttons -->
{{ # previous }}
2018-01-11 10:27:53 +08:00
<a rel="prev" href=" {{ link }} " class="mobile-nav-chapters previous">
2017-08-11 15:52:56 +08:00
<i class="fa fa-angle-left"></i>
</a>
{{ / previous }}
{{ # next }}
2018-01-11 10:27:53 +08:00
<a rel="next" href=" {{ link }} " class="mobile-nav-chapters next">
2017-08-11 15:52:56 +08:00
<i class="fa fa-angle-right"></i>
</a>
{{ / next }}
</div>
{{ # previous }}
<a href=" {{ link }} " class="nav-chapters previous" title="You can navigate through the chapters using the arrow keys">
<i class="fa fa-angle-left"></i>
</a>
{{ / previous }}
{{ # next }}
<a href=" {{ link }} " class="nav-chapters next" title="You can navigate through the chapters using the arrow keys">
<i class="fa fa-angle-right"></i>
</a>
{{ / next }}
</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 }}}
2018-01-11 10:27:53 +08:00
{{ # 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 }}
2017-08-11 18:29:22 +08:00
{{ # 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 }}
2018-01-11 10:27:53 +08:00
{{ # if is_print }}
<script>
$(document).ready(function() {
window.print();
})
</script>
{{ / if }}
2017-08-11 15:52:56 +08:00
<script src="highlight.js"></script>
<script src="book.js"></script>
</body>
</html>
