Skip to content

Commit 229240c

Browse files
clovisclovis
committed
various doc updates
1 parent b8c0e37 commit 229240c

1 file changed

Lines changed: 240 additions & 111 deletions

File tree

‎docs/_includes/head.html‎

Lines changed: 240 additions & 111 deletions
Original file line numberDiff line numberDiff line change
@@ -1,115 +1,244 @@
1-
<!DOCTYPE html>
1+
<!doctype html>
22
<html>
3+
<head>
4+
<meta charset="utf-8" />
5+
<meta name="viewport" content="width=device-width, initial-scale=1" />
6+
<title>{{ page.title }}</title>
7+
<link
8+
href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.0/dist/css/bootstrap.min.css"
9+
rel="stylesheet"
10+
integrity="sha384-9ndCyUaIbzAi2FUVXJi0CjmCapSmO7SnpJef0486qhLnuZ2cdeRhO02iuK6FUUVM"
11+
crossorigin="anonymous"
12+
/>
313

4-
<head>
5-
<meta charset="utf-8">
6-
<meta name="viewport" content="width=device-width, initial-scale=1">
7-
<title>{{ page.title }}</title>
8-
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.0/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-9ndCyUaIbzAi2FUVXJi0CjmCapSmO7SnpJef0486qhLnuZ2cdeRhO02iuK6FUUVM" crossorigin="anonymous">
14+
<link href="{{ site.baseurl }}/assets/css/style.css" rel="stylesheet" />
15+
<style>
16+
a {
17+
color: rgb(156, 60, 60);
18+
}
19+
a:hover,
20+
a:focus {
21+
color: rgb(95, 2, 2);
22+
}
23+
body {
24+
background: #fff !important;
25+
}
26+
.navbar-brand,
27+
.navbar-brand:hover {
28+
padding: 0;
29+
color: #fff !important;
30+
}
31+
.nav-item {
32+
font-size: 110%;
33+
}
34+
pre,
35+
code {
36+
background-color: inherit;
37+
}
38+
code.highlighter-rouge {
39+
background: #f8f8f8;
40+
}
41+
.list-group-item-action:hover,
42+
.list-group-item-action:focus {
43+
color: #fff;
44+
background-color: rgb(173, 66, 66);
45+
}
46+
.navbar-dark .navbar-nav .nav-link {
47+
color: rgba(255, 255, 255, 0.85);
48+
}
49+
.navbar-dark .navbar-nav .nav-link:hover {
50+
color: #fff;
51+
}
52+
.card {
53+
border-color: #ddd;
54+
}
55+
h1,
56+
h2,
57+
h3,
58+
h4,
59+
h5,
60+
h6 {
61+
color: rgb(95, 2, 2);
62+
}
63+
.title {
64+
color: rgb(95, 2, 2);
65+
}
66+
</style>
67+
</head>
968

10-
<link href="{{ site.baseurl }}/assets/css/style.css" rel="stylesheet">
11-
<style>
12-
a {
13-
color: rgb(156, 60, 60);
14-
}
15-
a:hover, a:focus {
16-
color: rgb(95, 2, 2);
17-
}
18-
body {
19-
background: #fff !important;
20-
}
21-
.navbar-brand, .navbar-brand:hover {
22-
padding: 0;
23-
color: #fff !important;
24-
}
25-
.nav-item {
26-
font-size: 110%;
27-
}
28-
pre, code {
29-
background-color: inherit;
30-
}
31-
code.highlighter-rouge {
32-
background: #f8f8f8;
33-
}
34-
.list-group-item-action:hover,
35-
.list-group-item-action:focus {
36-
color: #fff;
37-
background-color: rgb(173, 66, 66);
38-
}
39-
.navbar-dark .navbar-nav .nav-link {
40-
color: rgba(255, 255, 255, 0.85);
41-
}
42-
.navbar-dark .navbar-nav .nav-link:hover {
43-
color: #fff;
44-
}
45-
.card {
46-
border-color: #ddd;
47-
}
48-
h1, h2, h3, h4, h5, h6 {
49-
color: rgb(95, 2, 2);
50-
}
51-
.title {
52-
color: rgb(95, 2, 2);
53-
}
54-
</style>
55-
</head>
69+
<body>
70+
<nav
71+
class="navbar navbar-expand-lg navbar-dark sticky-top shadow"
72+
style="margin-bottom: 40px; background-color: rgb(95, 2, 2)"
73+
data-bs-theme="dark"
74+
>
75+
<a
76+
class="navbar-brand"
77+
href="{{ site.url }}"
78+
style="
79+
color: #fff;
80+
text-decoration: none;
81+
line-height: 1;
82+
padding: 8px 0;
83+
"
84+
>
85+
<span
86+
style="
87+
font-family:
88+
&quot;Helvetica Neue&quot;, Helvetica, Arial,
89+
sans-serif;
90+
font-size: 28px;
91+
letter-spacing: 4px;
92+
font-weight: 300;
93+
padding-left: 0.5rem;
94+
"
95+
>PhiloLogic</span
96+
><span
97+
style="
98+
font-family:
99+
&quot;Helvetica Neue&quot;, Helvetica, Arial,
100+
sans-serif;
101+
font-size: 16px;
102+
vertical-align: super;
103+
margin-left: 2px;
104+
"
105+
>5</span
106+
>
107+
</a>
108+
<button
109+
class="navbar-toggler d-flex d-sm-none"
110+
type="button"
111+
data-bs-toggle="collapse"
112+
data-bs-target="#navbarSupportedContent"
113+
aria-controls="navbarSupportedContent"
114+
aria-expanded="false"
115+
aria-label="Toggle navigation"
116+
>
117+
<span class="navbar-toggler-icon"></span>
118+
</button>
119+
<ul class="navbar-nav d-none d-sm-flex">
120+
<li class="nav-item">
121+
<a
122+
class="nav-link"
123+
href="https://github.com/ARTFL-Project/PhiloLogic5/releases"
124+
>Download</a
125+
>
126+
</li>
127+
<li class="nav-item">
128+
<a
129+
class="nav-link"
130+
href="https://artfl-project.uchicago.edu/"
131+
>ARTFL Project</a
132+
>
133+
</li>
134+
<li class="nav-item">
135+
<a
136+
class="nav-link"
137+
href="https://github.com/ARTFL-Project/PhiloLogic5/"
138+
title="View on GitHub"
139+
>
140+
<svg
141+
xmlns="http://www.w3.org/2000/svg"
142+
width="24"
143+
height="24"
144+
viewBox="0 0 24 24"
145+
fill="currentColor"
146+
>
147+
<path
148+
d="M12 0c-6.626 0-12 5.373-12 12 0 5.302 3.438 9.8 8.207 11.387.599.111.793-.261.793-.577v-2.234c-3.338.726-4.033-1.416-4.033-1.416-.546-1.387-1.333-1.756-1.333-1.756-1.089-.745.083-.729.083-.729 1.205.084 1.839 1.237 1.839 1.237 1.07 1.834 2.807 1.304 3.492.997.107-.775.418-1.305.762-1.604-2.665-.305-5.467-1.334-5.467-5.931 0-1.311.469-2.381 1.236-3.221-.124-.303-.535-1.524.117-3.176 0 0 1.008-.322 3.301 1.23.957-.266 1.983-.399 3.003-.404 1.02.005 2.047.138 3.006.404 2.291-1.552 3.297-1.23 3.297-1.23.653 1.653.242 2.874.118 3.176.77.84 1.235 1.911 1.235 3.221 0 4.609-2.807 5.624-5.479 5.921.43.372.823 1.102.823 2.222v3.293c0 .319.192.694.801.576 4.765-1.589 8.199-6.086 8.199-11.386 0-6.627-5.373-12-12-12z"
149+
/>
150+
</svg>
151+
</a>
152+
</li>
153+
</ul>
56154

57-
<body>
58-
<nav class="navbar navbar-expand-lg navbar-dark sticky-top shadow" style="margin-bottom: 40px; background-color: rgb(95, 2, 2);" data-bs-theme="dark">
59-
<a class="navbar-brand" href="{{ site.url }}" style="color: #fff; text-decoration: none; line-height: 1; padding: 8px 0;">
60-
<span style="font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 28px; letter-spacing: 4px; font-weight: 300;">PhiloLogic</span><span style="font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 16px; vertical-align: super; margin-left: 2px;">5</span>
61-
</a>
62-
<button class="navbar-toggler d-flex d-sm-none" type="button" data-bs-toggle="collapse" data-bs-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation">
63-
<span class="navbar-toggler-icon"></span>
64-
</button>
65-
<ul class="navbar-nav d-none d-sm-flex">
66-
<li class="nav-item">
67-
<a class="nav-link" href="https://github.com/ARTFL-Project/PhiloLogic5/releases">Download</a>
68-
</li>
69-
<li class="nav-item">
70-
<a class="nav-link" href="https://artfl-project.uchicago.edu/">ARTFL Project</a>
71-
</li>
72-
<li class="nav-item">
73-
<a class="nav-link" href="https://github.com/ARTFL-Project/PhiloLogic5/" title="View on GitHub">
74-
<svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="currentColor"><path d="M12 0c-6.626 0-12 5.373-12 12 0 5.302 3.438 9.8 8.207 11.387.599.111.793-.261.793-.577v-2.234c-3.338.726-4.033-1.416-4.033-1.416-.546-1.387-1.333-1.756-1.333-1.756-1.089-.745.083-.729.083-.729 1.205.084 1.839 1.237 1.839 1.237 1.07 1.834 2.807 1.304 3.492.997.107-.775.418-1.305.762-1.604-2.665-.305-5.467-1.334-5.467-5.931 0-1.311.469-2.381 1.236-3.221-.124-.303-.535-1.524.117-3.176 0 0 1.008-.322 3.301 1.23.957-.266 1.983-.399 3.003-.404 1.02.005 2.047.138 3.006.404 2.291-1.552 3.297-1.23 3.297-1.23.653 1.653.242 2.874.118 3.176.77.84 1.235 1.911 1.235 3.221 0 4.609-2.807 5.624-5.479 5.921.43.372.823 1.102.823 2.222v3.293c0 .319.192.694.801.576 4.765-1.589 8.199-6.086 8.199-11.386 0-6.627-5.373-12-12-12z"/></svg>
75-
</a>
76-
</li>
77-
</ul>
78-
79-
<div class="collapse navbar-collapse" id="navbarSupportedContent">
80-
<ul class="navbar-nav d-flex d-sm-none">
81-
<li class="nav-item">
82-
<a class="nav-link" href="{{ site.url }}installation.html">Installation</a>
83-
</li>
84-
<li class="nav-item">
85-
<a class="nav-link" href="{{ site.url }}database_loading.html">Database Loading</a>
86-
</li>
87-
<li class="nav-item">
88-
<a class="nav-link" href="{{ site.url }}encoding_spec.html">Encoding Specification</a>
89-
</li>
90-
<li class="nav-item">
91-
<a class="nav-link" href="{{ site.url }}configure_web_app.html">Configuring WebApp</a>
92-
</li>
93-
<li class="nav-item">
94-
<a class="nav-link" href="{{ site.url }}query_syntax.html">Query Syntax</a>
95-
</li>
96-
<li class="nav-item">
97-
<a class="nav-link" href="{{ site.url }}access_control.html">Access Control</a>
98-
</li>
99-
</ul>
100-
</div>
101-
</nav>
102-
<div class="container-fluid mt-4">
103-
<div class="row justify-content-md-center">
104-
<div class="col-sm-4 col-md-3 col-lg-2 d-none d-sm-flex">
105-
<ul class="list-group">
106-
<a class="list-group-item list-group-item-action" href="{{ site.url }}installation.html">Installation</a>
107-
<a class="list-group-item list-group-item-action" href="{{ site.url }}database_loading.html">Database Loading</a>
108-
<a class="list-group-item list-group-item-action" href="{{ site.url }}encoding_spec.html">Encoding Specification</a>
109-
<a class="list-group-item list-group-item-action" href="{{ site.url }}configure_web_app.html">Configuring WebApp</a>
110-
<a class="list-group-item list-group-item-action" href="{{ site.url }}query_syntax.html">Query Syntax</a>
111-
<a class="list-group-item list-group-item-action" href="{{ site.url }}access_control.html">Access Control</a>
112-
</ul>
113-
</div>
114-
<div class="col-sm-8 col-md-8 col-lg-7">
115-
<div class="card ps-4 pe-4 pb-4">
155+
<div class="collapse navbar-collapse" id="navbarSupportedContent">
156+
<ul class="navbar-nav d-flex d-sm-none">
157+
<li class="nav-item">
158+
<a
159+
class="nav-link"
160+
href="{{ site.url }}installation.html"
161+
>Installation</a
162+
>
163+
</li>
164+
<li class="nav-item">
165+
<a
166+
class="nav-link"
167+
href="{{ site.url }}database_loading.html"
168+
>Database Loading</a
169+
>
170+
</li>
171+
<li class="nav-item">
172+
<a
173+
class="nav-link"
174+
href="{{ site.url }}encoding_spec.html"
175+
>Encoding Specification</a
176+
>
177+
</li>
178+
<li class="nav-item">
179+
<a
180+
class="nav-link"
181+
href="{{ site.url }}configure_web_app.html"
182+
>Configuring WebApp</a
183+
>
184+
</li>
185+
<li class="nav-item">
186+
<a
187+
class="nav-link"
188+
href="{{ site.url }}query_syntax.html"
189+
>Query Syntax</a
190+
>
191+
</li>
192+
<li class="nav-item">
193+
<a
194+
class="nav-link"
195+
href="{{ site.url }}access_control.html"
196+
>Access Control</a
197+
>
198+
</li>
199+
</ul>
200+
</div>
201+
</nav>
202+
<div class="container-fluid mt-4">
203+
<div class="row justify-content-md-center">
204+
<div class="col-sm-4 col-md-3 col-lg-2 d-none d-sm-flex">
205+
<ul class="list-group">
206+
<a
207+
class="list-group-item list-group-item-action"
208+
href="{{ site.url }}installation.html"
209+
>Installation</a
210+
>
211+
<a
212+
class="list-group-item list-group-item-action"
213+
href="{{ site.url }}database_loading.html"
214+
>Database Loading</a
215+
>
216+
<a
217+
class="list-group-item list-group-item-action"
218+
href="{{ site.url }}encoding_spec.html"
219+
>Encoding Specification</a
220+
>
221+
<a
222+
class="list-group-item list-group-item-action"
223+
href="{{ site.url }}configure_web_app.html"
224+
>Configuring WebApp</a
225+
>
226+
<a
227+
class="list-group-item list-group-item-action"
228+
href="{{ site.url }}query_syntax.html"
229+
>Query Syntax</a
230+
>
231+
<a
232+
class="list-group-item list-group-item-action"
233+
href="{{ site.url }}access_control.html"
234+
>Access Control</a
235+
>
236+
</ul>
237+
</div>
238+
<div class="col-sm-8 col-md-8 col-lg-7">
239+
<div class="card ps-4 pe-4 pb-4"></div>
240+
</div>
241+
</div>
242+
</div>
243+
</body>
244+
</html>

0 commit comments

Comments
 (0)