-
Notifications
You must be signed in to change notification settings - Fork 3.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "use new header support, thanks mdbook!"
This reverts commit ed69a6c. This doesn't seem to work.
- Loading branch information
1 parent
ed69a6c
commit 4feb5fd
Showing
2 changed files
with
239 additions
and
1 deletion.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,239 @@ | ||
<!DOCTYPE HTML> | ||
<html lang="{{ language }}"> | ||
<head> | ||
<meta charset="UTF-8"> | ||
<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 = 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 id="page-wrapper" class="page-wrapper has-warning"> | ||
|
||
<div class="page" tabindex="-1"> | ||
<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">{{ book_title }}</h1> | ||
|
||
<div class="right-buttons"> | ||
<a href="print.html"> | ||
<i id="print-button" class="fa fa-print" title="Print this book"></i> | ||
</a> | ||
</div> | ||
</div> | ||
|
||
<div id="content" class="content"> | ||
{{{ content }}} | ||
</div> | ||
|
||
<!-- Mobile navigation buttons --> | ||
{{#previous}} | ||
<a rel="prev" href="{{link}}" class="mobile-nav-chapters previous"> | ||
<i class="fa fa-angle-left"></i> | ||
</a> | ||
{{/previous}} | ||
|
||
{{#next}} | ||
<a rel="next" 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 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() { | ||
window.print(); | ||
}) | ||
</script> | ||
{{/if}} | ||
|
||
<script src="highlight.js"></script> | ||
<script src="book.js"></script> | ||
</body> | ||
</html> |