<!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"> <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="highlight.css"> <link rel="stylesheet" href="tomorrow-night.css"> <link rel="stylesheet" href="ayu-highlight.css"> <!-- Custom theme --> {{#each additional_css}} <link rel="stylesheet" href="{{this}}"> {{/each}} <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> {{#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> {{/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> <!-- Custom JS script --> {{#each additional_js}} <script type="text/javascript" src="{{this}}"></script> {{/each}} </head> <body class="light"> <!-- 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> <!-- 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> <div id="sidebar" class="sidebar"> {{#toc}}{{/toc}} </div> <div id="page-wrapper" class="page-wrapper has-warning"> <div class="page"> {{!-- <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> --}} <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> <h1 class="menu-title">{{ title }}</h1> <div class="right-buttons"> <i id="print-button" class="fa fa-print" title="Print this book"></i> </div> </div> <div id="content" class="content"> {{{ content }}} </div> <!-- 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> {{#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}}} {{#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}} <script src="highlight.js"></script> <script src="book.js"></script> </body> </html>