-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path404.html
44 lines (40 loc) · 2.1 KB
/
404.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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en-us">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>404 — prb.io</title>
<meta name="author" content="Paul Brown" />
<link rel="start" href="/" />
<link rel="stylesheet" href="static/styles.css" type="text/css" />
</head>
<body>
<div id="container">
<div id="header">
<h1>prb<span class="lighter">.io</span></h1>
</div>
<div class="nav">
[<a href="/">front</a>] [<a href="/archive.html">archives</a>]
</div>
<div class="entry">
<h2 id='404'>404</h2>
<img src="images/kb4sale.jpg" alt="Klein bottle for sale, enquire within." style="float: right; margin-left: 20px; margin-bottom: 20px; " />
<p>Looking for something? Really old content might not be here,
as I pruned most of the content out of the blog from earlier than
2008 with the exception of some posts about Haskell that got a bit
of traffic (and therefore I assume were useful to visitors).
There's also a chance that what you were looking for wasn't here
in the first place, or maybe you were looking for this page, in
which case here you are.</p>
</div>
<div id="footer"><p class="copyright"><a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/us/"><img alt="Creative Commons License" class="cc-badge" src="http://i.creativecommons.org/l/by-sa/3.0/us/80x15.png" /></a> Except where otherwise noted, this work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/us/">Creative Commons Attribution-Share Alike 3.0 United States License</a>.</p></div>
<script type="text/javascript">
var gaJsHost = "http://www.";
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));</script>
<script type="text/javascript">
try{
var pageTracker = _gat._getTracker("UA-140287-1");
pageTracker._trackPageview();} catch(err) {}</script>
</div>
</body>
</html>