2015-07-19 06:08:38 +08:00
<!DOCTYPE HTML>
<html lang=" {{ language }} ">
<head>
<meta charset="UTF-8">
<title> {{ title }} </title>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
2016-02-25 21:32:49 +08:00
<meta name="description" content=" {{ description }} ">
2015-07-19 06:08:38 +08:00
<meta name="viewport" content="width=device-width, initial-scale=1">
2015-09-05 23:26:17 +08:00
<base href=" {{ path_to_root }} ">
2016-12-31 16:07:59 +08:00
<link rel="shortcut icon" href="images/favicon.png">
2015-09-14 02:03:34 +08:00
2016-12-31 16:07:59 +08:00
<link rel="stylesheet" href="css/book.css">
2016-02-23 00:17:07 +08:00
2016-12-31 16:07:59 +08:00
<!-- TODO use OpenSans from local -->
<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'>
2015-09-14 02:03:34 +08:00
2016-12-31 16:07:59 +08:00
<link rel="stylesheet" href="css/font-awesome.min.css">
2017-01-14 16:46:01 +08:00
<!-- TODO Loading both only works b/c book.js disables one of these with .prop(), selecting one by its href. It would make more sense to put the different styles under a class ("highlight-light" / "highlight-dark") and add or remove that class on the <body> or #page-wrapper. -->
2016-12-31 16:07:59 +08:00
<link rel="stylesheet" href="css/highlight.css">
<link rel="stylesheet" href="css/tomorrow-night.css">
2015-09-05 23:26:17 +08:00
2016-12-31 16:07:59 +08:00
<!-- TODO use MathJax from local -->
<script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
<script src="js/jquery-2.1.4.min.js"></script>
2015-09-15 00:12:45 +08:00
2015-07-19 06:08:38 +08:00
</head>
2016-06-15 22:25:28 +08:00
<body class="light">
2015-09-15 00:12:45 +08:00
<!-- Set the theme before any content is loaded, prevents flash -->
<script type="text/javascript">
var theme = localStorage.getItem('theme');
if (theme == null) { theme = 'light'; }
$('body').removeClass().addClass(theme);
</script>
2015-07-19 20:02:21 +08:00
2015-09-24 22:47:33 +08:00
<!-- Hide / unhide sidebar before it is displayed -->
<script type="text/javascript">
var sidebar = localStorage.getItem('sidebar');
if (sidebar === "hidden") { $("html").addClass("sidebar-hidden") }
else if (sidebar === "visible") { $("html").addClass("sidebar-visible") }
</script>
2015-07-29 03:01:13 +08:00
<div id="sidebar" class="sidebar">
2017-01-16 21:10:12 +08:00
<div class="translation-indexes">
{{ # translation-indexes }} {{ / translation-indexes }}
</div>
2015-07-30 05:32:01 +08:00
{{ # toc }} {{ / toc }}
2015-07-29 03:01:13 +08:00
</div>
<div id="page-wrapper" class="page-wrapper">
2015-08-01 20:12:55 +08:00
<div class="page">
2015-08-01 23:21:05 +08:00
<div id="menu-bar" class="menu-bar">
2015-09-05 17:40:40 +08:00
<div class="left-buttons">
2015-09-11 07:16:29 +08:00
<i id="sidebar-toggle" class="fa fa-bars"></i>
<i id="theme-toggle" class="fa fa-paint-brush"></i>
2015-09-05 17:40:40 +08:00
</div>
2017-01-16 21:10:12 +08:00
<div class="translation-links">
{{ # translation-links }} {{ / translation-links }}
2017-01-10 14:35:56 +08:00
</div>
2015-08-01 23:21:05 +08:00
<h1 class="menu-title"> {{ title }} </h1>
2015-09-05 17:40:40 +08:00
<div class="right-buttons">
<i id="print-button" class="fa fa-print" title="Print this book"></i>
</div>
2015-08-01 23:21:05 +08:00
</div>
2015-08-04 04:09:26 +08:00
2017-01-10 14:35:56 +08:00
2015-08-01 20:12:55 +08:00
<div id="content" class="content">
{{{ content }}}
</div>
2015-07-29 03:01:13 +08:00
2015-08-31 23:09:18 +08:00
<!-- Mobile navigation buttons -->
{{ # previous }}
<a href=" {{ link }} " class="mobile-nav-chapters previous">
<i class="fa fa-angle-left"></i>
</a>
{{ / previous }}
{{ # next }}
<a href=" {{ link }} " class="mobile-nav-chapters next">
<i class="fa fa-angle-right"></i>
</a>
{{ / next }}
</div>
2015-08-06 21:24:34 +08:00
2015-08-04 04:09:26 +08:00
{{ # previous }}
2015-12-30 23:48:46 +08:00
<a href=" {{ link }} " class="nav-chapters previous" title="You can navigate through the chapters using the arrow keys">
2015-08-01 20:12:55 +08:00
<i class="fa fa-angle-left"></i>
</a>
2015-08-04 04:09:26 +08:00
{{ / previous }}
2015-08-01 20:12:55 +08:00
2015-08-04 18:51:07 +08:00
{{ # next }}
2015-12-30 23:48:46 +08:00
<a href=" {{ link }} " class="nav-chapters next" title="You can navigate through the chapters using the arrow keys">
2015-08-01 20:12:55 +08:00
<i class="fa fa-angle-right"></i>
</a>
2015-08-04 18:51:07 +08:00
{{ / next }}
2015-08-01 20:12:55 +08:00
2015-07-29 03:01:13 +08:00
</div>
2015-07-19 20:02:21 +08:00
2017-01-11 23:17:34 +08:00
<!-- Livereload script (if served using the cli tool) -->
{{{ livereload }}}
2016-12-31 16:07:59 +08:00
<script src="js/highlight.js"></script>
<script src="js/book.js"></script>
2015-07-19 06:08:38 +08:00
</body>
</html>