ev3dev.github.io/_includes/head.html at 232255a1612ee33772a09c1c76749e1aff6a9fab · ev3dev/ev3dev.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
<head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">

    <title>{{ page.title | xml_escape }}</title>
    <link rel="alternate" type="application/atom+xml" href="/news/atom.xml" title="Atom feed">
    <link rel="icon" href="/favicon.ico" />

    <!-- Bootstrap styles -->
    <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css">
    <link rel="stylesheet" href="/stylesheets/bootstrap.css">

    <!-- Custom styles -->
    <link rel="stylesheet" href="/stylesheets/site-structure.css">
    <link rel="stylesheet" href="/stylesheets/search.css">
    <link rel="stylesheet" href="/stylesheets/landing-content.css">
    <link rel="stylesheet" href="/stylesheets/page-content.css">
    <link rel="stylesheet" href="/stylesheets/user-cards.css">
    <link rel="stylesheet" href="/stylesheets/tabs.css">

    <!-- Python code highlighting -->
    <link rel="stylesheet" href="/stylesheets/pygments/monokai.css" />

    <!-- 3rd-party libraries -->
    <script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.0/jquery.min.js"></script>
    <script src="/javascripts/bootstrap/bootstrap.min.js"></script>
    <script src="/javascripts/libs/jquery.getUrlParam.js"></script>
    <script src="/javascripts/libs/jquery.loadTemplate-1.4.4.min.js"></script>
    <script src="/javascripts/libs/respond.js"></script>
    <script src="/javascripts/libs/ua-parser.min.js"></script>

    <!-- Loads user-cards from GH API -->
    <script src="/javascripts/cards.js"></script>
    <!-- Responds to queries typed into the "Quick nav" box -->
    <script src="/javascripts/search.js"></script>
    <!-- Converts static descriptors of tab target content into live text and links -->
    <script src="/javascripts/tabs.js"></script>
    <script src="/javascripts/platform-select.js"></script>
    <!-- Adds classes and other styles to pages where hard-coded css can't be used -->
    <script src="/javascripts/style-helpers.js"></script>

    <!-- Template for search results -->
    <script type="text/html" id="search-result-template">
        <div class="search-result">
            <a data-href="href"><h4 data-content="title"></h4></a>
            <span data-content="breadcrumbs" class="search-result-breadcrumbs"></span>
            <span data-content="author" class="search-result-author"></span><br/>
        </div>
    </script>

    {% if page.extra-head-content %}
    {{ page.extra-head-content }}
    {% endif %}

</head>