[rustc.git] / src / doc / book / second-edition / theme / index.hbs

<!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 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">
        <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)
            }
        </style>

        <!-- MathJax -->
        <script type="text/javascript" src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></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>
    </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}}}

        <script src="highlight.js"></script>
        <script src="book.js"></script>
    </body>
</html>
Commit	Line	Data
cc61c64b XL	1	<!DOCTYPE HTML>
	2	<html lang="{{ language }}">
	3	<head>
	4	<meta charset="UTF-8">
	5	<title>{{ chapter_title }} - {{ title }}</title>
	6	<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
	7	<meta name="description" content="{{ description }}">
	8	<meta name="viewport" content="width=device-width, initial-scale=1">
	9
	10	<base href="{{ path_to_root }}">
	11
	12	<link rel="stylesheet" href="book.css">
	13	<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'>
	14
	15	<link rel="shortcut icon" href="{{ favicon }}">
	16
	17	<!-- Font Awesome -->
	18	<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css">
	19
	20	<link rel="stylesheet" href="highlight.css">
	21	<link rel="stylesheet" href="tomorrow-night.css">
	22	<style>
7cac9316 XL	23	.page-wrapper.has-warning > .nav-chapters {
	24	/* add height for warning content & margin */
	25	top: 120px;
	26	}
	27
	28	p.warning {
cc61c64b XL	29	background-color: rgb(242, 222, 222);
	30	border-bottom-color: rgb(238, 211, 215);
	31	border-bottom-left-radius: 4px;
	32	border-bottom-right-radius: 4px;
	33	border-bottom-style: solid;
	34	border-bottom-width: 0.666667px;
	35	border-image-outset: 0 0 0 0;
	36	border-image-repeat: stretch stretch;
	37	border-image-slice: 100% 100% 100% 100%;
	38	border-image-source: none;
	39	border-image-width: 1 1 1 1;
	40	border-left-color: rgb(238, 211, 215);
	41	border-left-style: solid;
	42	border-left-width: 0.666667px;
	43	border-right-color: rgb(238, 211, 215);
	44	border-right-style: solid;
	45	border-right-width: 0.666667px;
	46	border-top-color: rgb(238, 211, 215);
	47	border-top-left-radius: 4px;
	48	border-top-right-radius: 4px;
	49	border-top-style: solid;
	50	border-top-width: 0.666667px;
	51	color: rgb(185, 74, 72);
	52	margin-bottom: 0px;
	53	margin-left: 0px;
	54	margin-right: 0px;
	55	margin-top: 30px;
	56	padding-bottom: 8px;
	57	padding-left: 14px;
	58	padding-right: 35px;
	59	padding-top: 8px;
	60	}
	61	p.warning strong {
	62	color: rgb(185, 74, 72)
	63	}
	64	p.warning a {
	65	color: rgb(0, 136, 204)
	66	}
	67	</style>
	68
	69	<!-- MathJax -->
	70	<script type="text/javascript" src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
	71
	72	<!-- Fetch JQuery from CDN but have a local fallback -->
	73	<script src="https://code.jquery.com/jquery-2.1.4.min.js"></script>
	74	<script>
	75	if (typeof jQuery == 'undefined') {
	76	document.write(unescape("%3Cscript src='jquery.js'%3E%3C/script%3E"));
	77	}
	78	</script>
	79	</head>
	80	<body class="light">
	81	<!-- Set the theme before any content is loaded, prevents flash -->
	82	<script type="text/javascript">
	83	var theme = localStorage.getItem('theme');
	84	if (theme == null) { theme = 'light'; }
	85	$('body').removeClass().addClass(theme);
	86	</script>
	87
	88	<!-- Hide / unhide sidebar before it is displayed -->
	89	<script type="text/javascript">
	90	var sidebar = localStorage.getItem('sidebar');
	91	if (sidebar === "hidden") { $("html").addClass("sidebar-hidden") }
	92	else if (sidebar === "visible") { $("html").addClass("sidebar-visible") }
93	</script>
94
95	<div id="sidebar" class="sidebar">
96	{{#toc}}{{/toc}}
97	</div>
98
7cac9316	99	<div id="page-wrapper" class="page-wrapper has-warning">
cc61c64b XL	100
	101	<div class="page">
	102	<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>
	103	<div id="menu-bar" class="menu-bar">
	104	<div class="left-buttons">
	105	<i id="sidebar-toggle" class="fa fa-bars"></i>
	106	<i id="theme-toggle" class="fa fa-paint-brush"></i>
	107	</div>
	108
	109	<h1 class="menu-title">{{ title }}</h1>
	110
	111	<div class="right-buttons">
	112	<i id="print-button" class="fa fa-print" title="Print this book"></i>
	113	</div>
	114	</div>
	115
	116
	117	<div id="content" class="content">
	118	{{{ content }}}
	119	</div>
	120
	121	<!-- Mobile navigation buttons -->
	122	{{#previous}}
	123	<a href="{{link}}" class="mobile-nav-chapters previous">
	124	<i class="fa fa-angle-left"></i>
	125	</a>
	126	{{/previous}}
	127
	128	{{#next}}
	129	<a href="{{link}}" class="mobile-nav-chapters next">
	130	<i class="fa fa-angle-right"></i>
	131	</a>
	132	{{/next}}
	133
	134	</div>
	135
	136	{{#previous}}
	137	<a href="{{link}}" class="nav-chapters previous" title="You can navigate through the chapters using the arrow keys">
	138	<i class="fa fa-angle-left"></i>
	139	</a>
	140	{{/previous}}
	141
	142	{{#next}}
	143	<a href="{{link}}" class="nav-chapters next" title="You can navigate through the chapters using the arrow keys">
	144	<i class="fa fa-angle-right"></i>
	145	</a>
	146	{{/next}}
	147
	148	</div>
	149
	150
	151	<!-- Local fallback for Font Awesome -->
	152	<script>
	153	if ($(".fa").css("font-family") !== "FontAwesome") {
	154	$('<link rel="stylesheet" type="text/css" href="_FontAwesome/css/font-awesome.css">').prependTo('head');
	155	}
	156	</script>
	157
	158	<!-- Livereload script (if served using the cli tool) -->
	159	{{{livereload}}}
	160
	161	<script src="highlight.js"></script>
	162	<script src="book.js"></script>
	163	</body>
164	</html>