Demote enforcement to note, closes #2246
[CppCoreGuidelines.git] / _includes / head.html
blobdff33cc731c73e0cd32b681db0966a9860aff0ee
1 <head>
2 <link href="http://gmpg.org/xfn/11" rel="profile">
3 <meta http-equiv="X-UA-Compatible" content="IE=edge">
4 <meta http-equiv="content-type" content="text/html; charset=utf-8">
6 <!-- Enable responsiveness on mobile devices-->
7 <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1">
9 <title>C++ Core Guidelines</title>
11 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.9.0/styles/github.min.css">
12 <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.9.0/highlight.min.js"></script>
14 <!-- CSS, could be merged and minified for improved loading speed -->
15 <link rel="stylesheet" href="{{ site.baseurl }}/public/css/poole.css">
16 <link rel="stylesheet" href="{{ site.baseurl }}/public/css/hyde.css">
17 <link rel="stylesheet" href="{{ site.baseurl }}/public/css/custom.css">
19 <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400italic,700|Abril+Fatface|Roboto+Mono">
20 <meta name="description" content="{% if page.excerpt %}{{ page.excerpt | strip_html | strip_newlines | truncate: 160 }}{% else %}{{ site.description }}{% endif %}">
23 <!-- Include jquery.js -->
24 <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.min.js"></script>
27 <!-- make sure you include the latest version -->
28 <script src="https://cdnjs.cloudflare.com/ajax/libs/anchor-js/3.2.2/anchor.min.js"></script>
30 <!-- No highlight on page load -->
31 <script type="text/javascript">
32 $( document ).ready(function() {
33 $("code").addClass("no-highlight");
34 });
35 </script>
37 <!-- AnchoJs links next to headers-->
38 <script type="text/javascript">
39 $( document ).ready(function () {
40 anchors.add("h1, h2, h3");
41 });
42 </script>
44 <!-- hack to toggle highlight on or off -->
45 <script type="text/javascript">
46 function stripSpans(i, spanTag) {
47 var text = spanTag.textContent || spanTag.innerText;
48 var node = document.createTextNode(text);
49 spanTag.parentNode.replaceChild(node, spanTag);
51 $(function() {
52 $("#hl_button")
53 .click(function( event ) {
54 $("pre code").toggleClass("cpp");
55 $("pre code").toggleClass("hljs");
56 $("pre code").toggleClass("no-highlight");
57 $("pre code").each(function(i, block) {
58 hljs.highlightBlock(block);
59 });
60 $("code.no-highlight").find("span").each(stripSpans);
61 });
62 });
63 </script>
64 </head>