Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Added navigation controls to each page :)

  • Loading branch information...
commit 3b2dd970d21565d589ad63b78edf91ffc99278a0 1 parent 8731492
@liamoc authored
View
23 css/style.css
@@ -7,6 +7,21 @@ pre {
padding:5px;
padding-left:20px;
}
+.headerlist {
+ display:table-row;
+ list-style:none;
+}
+.headerlist li {
+ display:table-cell;
+ list-style:none;
+ width:33%;
+}
+.header {
+ display: table;
+ padding-top:10px;
+ padding-bottom:30px;
+ width:100%;
+}
.right {
float:right;
}
@@ -48,7 +63,6 @@ pre.sourceCode span.Error { color: red; }
.titleimage {
font-family: serif;
- float:left;
margin:0px;
margin-left:18px;
font-size:42px;
@@ -143,13 +157,6 @@ h3 {
font-weight:normal;
}
-.header {
- text-align:right;
- height:78px;
- vertical-align:bottom;
- margin-right:15px;
- padding-top:9px;
-}
.footer {
font-size:12px;
color:#444444;
View
1  header.markdown
@@ -1,2 +1 @@
--- header
-
View
2  pages/introduction.md
@@ -1,6 +1,8 @@
-----
title: Introduction
date: 16th Febuary 2011
+prev:
+next: <a href="/pages/peano.html">Hello, Peano → </a>
-----
About this tutorial
View
2  pages/peano.md
@@ -1,6 +1,8 @@
-----
title: Hello, Peano
date: 16th Feb 2011
+next:
+prev: <a href="/pages/introduction.html">← Introduction</a>
-----
Definitions, Definitions
View
18 templates/default.html
@@ -9,14 +9,26 @@
<body>
<div class=container>
<div class='titleimage'>Learn you an Agda</div>
+<div id="content">
<div class='header'>
-$header
+<ul class=headerlist>
+<li style="text-align:left">$prev</li>
+<li style="text-align:center">
+<a href="/toc.html">Table of Contents</a></li>
+<li style="text-align:right">$next</li>
+</ul>
</div>
-<div id="content">
<div class='title'>$title</div>
<div class='date'>$date</div>
$body
-
+<div class='header'>
+<ul class=headerlist>
+<li style="text-align:left">$prev</li>
+<li style="text-align:center">
+<a href="/toc.html">Table of Contents</a></li>
+<li style="text-align:right">$next</li>
+</ul>
+</div>
<div class='footer'>$footer</div>
</div>
</div>
Please sign in to comment.
Something went wrong with that request. Please try again.