git.iko.soy/hakyll
on 2c4e773 help sign in
hakyll/web/templates/default.html
63 lines 2.6 kB history raw
1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
3"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
4<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
5 <head>
6 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
7 <title>Hakyll - $title$</title>
9 <!-- Stylesheets. -->
10 <link rel="stylesheet" type="text/css" href="/css/default.css" />
11 <link rel="stylesheet" type="text/css" href="/css/syntax.css" />
13 <!-- Metadata. -->
14 <meta name="keywords" content="hakyll,static site generator,static,site,generator,haskell,blog"/>
15 <meta name="description" content="Hakyll - A Static Site Generator in Haskell."/>
16 </head>
17 <body>
18 <div id="main">
19 <div id="header">
20 <img src="/images/lambda.png" alt="lambda" />
21 Hakyll - $title$
22 </div>
23 <!-- Sidebar. -->
24 <div id="sidebar">
25 <h1>Navigation</h1>
26 <a href="/index.html">home</a>
27 <a href="/tutorials.html">tutorials</a>
28 <a href="/reference.html">reference</a>
29 <a href="/about.html">about</a>
30 <a href="/tutorials/faq.html">faq</a>
31 <a href="/examples.html">examples</a>
32 <a href="/changelog.html">changelog</a></p>
34 <!-- Flattr button -->
35 <h1>Donate</h1>
36 <a href="http://flattr.com/thing/291889/Hakyll" target="_blank">
37 <img src="http://api.flattr.com/button/flattr-badge-large.png"
38 alt="Flattr this" title="Flattr this" border="0" /></a>
39 </div>
41 <div id="content">
42 $body$
43 </div>
45 <div id="footer">
46 Site proudly generated by <a href="http://github.com/jaspervdj/hakyll">hakyll</a>.
47 </div>
48 </div>
50 <!-- Google Analytics -->
51 <script type="text/javascript">
52 var gaJsHost = (('https:' == document.location.protocol) ? 'https://ssl.' : 'http://www.');
53 document.write(unescape('%3Cscript src=\'' + gaJsHost + 'google-analytics.com/ga.js\' type=\'text/javascript\'%3E%3C/script%3E'));
54 </script>
55 <script type="text/javascript">
56 try {
57 var pageTracker = _gat._getTracker('UA-11993001-1');
58 pageTracker._trackPageview();
59 } catch(err) {}
60 </script>
61 </body>
63</html>