forked from teorth/equational_theories
-
Notifications
You must be signed in to change notification settings - Fork 0
/
default.html
58 lines (51 loc) · 2.45 KB
/
default.html
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
57
58
<!DOCTYPE html>
<html lang="{{ site.lang | default: 'en-US' }}">
<head>
<meta charset="UTF-8">
{% seo %}
<link rel="preconnect" href="https://fonts.gstatic.com">
<link rel="preload" href="https://fonts.googleapis.com/css?family=Open+Sans:400,700&display=swap" as="style"
type="text/css" crossorigin>
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="theme-color" content="#157878">
<meta name="apple-mobile-web-app-status-bar-style" content="black-translucent">
{% if jekyll.environment == "production" %}
<link rel="stylesheet"
href="{{ site.github.repository_name | append: '/assets/css/style.css?v=' | append: site.github.build_revision | relative_url }}">
{% else %}
<link rel="stylesheet" href="{{ 'assets/css/style.css?v=' | append: site.github.build_revision | relative_url }}">
{% endif %}
{% include head-custom.html %}
</head>
<body>
<a id="skip-to-content" href="#content">Skip to the content.</a>
<header class="page-header" role="banner">
<h1 class="project-name">{{ page.title | default: site.title | default: site.github.repository_name }}</h1>
<h2 class="project-tagline">{{ page.description | default: site.description | default: site.github.project_tagline
}}</h2>
<a href="{{site.url}}/blueprint" class="btn">Blueprint (web)</a>
<a href="{{site.url}}/blueprint.pdf" class="btn">Blueprint (pdf)</a>
<a href="{{site.url}}/docs" class="btn">Documentation</a>
<a href="{{site.url}}/dashboard" class="btn">Dashboard</a>
<a href="{{site.url}}/implications" class="btn">Equation Explorer</a>
<a href="{{site.url}}/fme" class="btn">Finite Magma Explorer</a>
<a href="{{site.url}}/graphiti" class="btn">Graphiti</a>
{% if site.github.is_project_page %}
<a href="{{ site.github.repository_url }}" class="btn">GitHub</a>
{% endif %}
</header>
<main id="content" class="main-content" role="main">
{{ content }}
<footer class="site-footer">
{% if site.github.is_project_page %}
<span class="site-footer-owner">
This project is maintained by <a href="https://github.com/teorth">Terence Tao</a>,
<a href="https://github.com/pitmonticone">Pietro Monticone</a>, and
<a href="https://github.com/Shreyas4991">Shreyas Srinivas</a>.
Please visit the <a href="{{ site.github.repository_url }}">GitHub repository</a> for more information.
</span>
{% endif %}
</footer>
</main>
</body>
</html>