doclog/base.html at master · aarroyoc/doclog · 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
<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8"/>
    <title>{% block title %}{% endblock %}</title>
    <meta name="keywords" content="Prolog, Scryer Prolog, logic programming, Prolog tutorials, Prolog libraries">
    <meta name="description" content="{{ project_name }} documentation and learning resources"/>
    <meta name="viewport" content="width=device-width, initial-scale=1"/>
    <link rel="stylesheet" href="{{ base_url }}default.min.css">
    <link rel="stylesheet" href="{{ base_url }}doclog.css"/>
    <script src="{{ base_url }}highlight.prolog.min.js"></script>
    {% block extra_head %}{% endblock %}
  </head>
  <body data-base-url="{{ base_url }}">

    <!-- Skip links for keyboard users -->
    <a href="#content" class="skip-link skip-to-content">Skip to main content</a>
    <a href="#navigation" class="skip-link skip-to-nav">Skip to navigation</a>

    <header class="topbar" role="banner">
      <a class="topbarLink" href="{{ base_url }}" aria-label="Home">{{ project_name }}</a>
      <form role="search" aria-label="Search predicates">
        <label for="search" class="sr-only">Search predicates</label>
        <input list="predicates" type="search" placeholder="Search..." id="search" name="search">
        <datalist id="predicates"></datalist>
      </form>
    </header>
    <div class = "layout">
    <div class="mainContent">
      <!-- ARIA landmark for skip-link target -->
      <main id="content" role="main" aria-label="Main content">
        {% block main %}{% endblock %}
      </main>


    </div>

       <nav id="navigation" role="navigation" aria-label="Main navigation">
        <h2>Learn</h2>
        {{ nav_learn }}
        <h2>Libraries</h2>
        {{ nav_lib }}
      </nav>

    </div>
    {{ footer }}
    <script src="{{ base_url }}doclog.js" async defer></script>


  </body>
</html>