Skip to content

Commit 796941c

Browse files
james-d-mitchelljames-d-mitchell
committed
rebuilding site Sun 31 Aug 2025 13:48:30 CEST
0 parents  commit 796941c

File tree

125 files changed

+7552
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

125 files changed

+7552
-0
lines changed

‎404.html‎

Lines changed: 156 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,156 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
4+
<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1" />
5+
6+
7+
<title>404 Page not found | libsemigroups</title>
8+
9+
10+
11+
<link rel="shortcut icon" href="/images/favicon.png" type="image/png" />
12+
13+
14+
<meta name="description" content="A collection of projects in the libsemigroups family"
15+
/>
16+
17+
<meta name="keywords" content="computer-algebra, enumeration, monoid semigroup, c-plus-plus-17, congruence, Python, GAP, Julia"
18+
/>
19+
<meta name="referrer" content="no-referrer-when-downgrade" />
20+
21+
<meta name="HandheldFriendly" content="True" />
22+
<meta name="MobileOptimized" content="320" />
23+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
24+
25+
26+
27+
28+
29+
30+
31+
32+
33+
34+
35+
<link rel="stylesheet" href="/css/style.min.acfb11d1ee359d76dadef3e47b511d19cc09eb0e9867262ef74f0b6ca337f7cc.css" type="text/css" integrity="sha256-rPsR0e41nXba3vPke1EdGcwJ6w6YZyYu908LbKM398w=" />
36+
37+
<meta property="og:url" content="https://example.com/404.html">
38+
<meta property="og:site_name" content="libsemigroups">
39+
<meta property="og:title" content="404 Page not found">
40+
<meta property="og:description" content="A collection of projects in the libsemigroups family">
41+
<meta property="og:locale" content="en">
42+
<meta property="og:type" content="website">
43+
<meta property="og:image" content="https://example.com/images/cover-image.jpg">
44+
45+
46+
<meta name="twitter:card" content="summary_large_image">
47+
<meta name="twitter:image" content="https://example.com/images/cover-image.jpg">
48+
<meta name="twitter:title" content="404 Page not found">
49+
<meta name="twitter:description" content="A collection of projects in the libsemigroups family">
50+
51+
52+
<meta itemprop="name" content="404 Page not found">
53+
<meta itemprop="description" content="A collection of projects in the libsemigroups family">
54+
<meta itemprop="image" content="https://example.com/images/cover-image.jpg">
55+
56+
57+
58+
59+
60+
<style>
61+
body {
62+
font-size: 1.6rem;
63+
}
64+
:root {
65+
--ul-li-icon: fa-skull-crossbones
66+
}
67+
68+
a {
69+
color: #86c440;
70+
}
71+
a:hover {
72+
color: #37501a;
73+
}
74+
75+
.darklinks a {
76+
color: #b80135;
77+
}
78+
79+
h3 {
80+
color: #b80135;
81+
margin: 10px 0;
82+
font-size: 3rem;
83+
letter-spacing: -1px;
84+
text-shadow: var(--cover-title-text-shadow);
85+
}
86+
</style>
87+
88+
89+
90+
91+
92+
93+
94+
95+
96+
97+
98+
99+
100+
101+
</head>
102+
<body>
103+
<main class="content page-template 404" role="main">
104+
<article class="post page">
105+
<header class="post-header">
106+
<a id="blog-logo" href="/">
107+
libsemigroups
108+
</a>
109+
</header>
110+
<h1 class="post-title">404 - Page Not Found</h1>
111+
<section class="post-content">
112+
Give it another try:
113+
<a href="/" alt="Homepage">Back to the homepage</a>.
114+
</section>
115+
</article>
116+
</main>
117+
118+
119+
120+
121+
<footer class="site-footer">
122+
<div class="inner">
123+
124+
125+
126+
127+
128+
<section class="copyright">© J. D. Mitchell et al.</section>
129+
130+
131+
132+
<section>
133+
<a href="https://themes.gohugo.io/hugo-scroll/" target="_blank" rel="noopener">Hugo Scroll</a> template
134+
</section>
135+
136+
137+
138+
</div>
139+
</footer>
140+
141+
142+
143+
144+
145+
146+
147+
148+
149+
<script src="/js/script.min.e853a4dfd899ef0f5749c33d64e2388119f4f8f866221b83ae75f840abec921a.js" integrity="sha256-6FOk39iZ7w9XScM9ZOI4gRn0&#43;PhmIhuDrnX4QKvskho=" ></script>
150+
151+
152+
<script>cssVars();</script>
153+
154+
155+
</body>
156+
</html>

‎css/style.min.acfb11d1ee359d76dadef3e47b511d19cc09eb0e9867262ef74f0b6ca337f7cc.css‎

Lines changed: 7 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎images/android-chrome-192x192.png‎

2.67 KB
Loading

‎images/android-chrome-512x512.png‎

8.58 KB
Loading

‎images/favicon-16x16.png‎

371 Bytes
Loading

‎images/favicon-32x32.png‎

495 Bytes
Loading

‎images/favicon.png‎

495 Bytes
Loading

‎images/smalloverlap_510x510_hu_25cf7818fb36c9a0.webp‎

414 KB
Loading

‎images/smalloverlap_510x510_hu_2c7736040f0147d1.webp‎

553 KB
Loading

‎images/smalloverlap_510x510_hu_40ef0615c5b2ffcc.webp‎

484 KB
Loading

0 commit comments

Comments
 (0)