From 3b2dd970d21565d589ad63b78edf91ffc99278a0 Mon Sep 17 00:00:00 2001 From: Liam O'Connor-Davis Date: Wed, 16 Feb 2011 09:00:49 +1100 Subject: [PATCH] Added navigation controls to each page :) --- css/style.css | 23 +++++++++++++++-------- header.markdown | 1 - pages/introduction.md | 2 ++ pages/peano.md | 2 ++ templates/default.html | 18 +++++++++++++++--- 5 files changed, 34 insertions(+), 12 deletions(-) diff --git a/css/style.css b/css/style.css index 47a189f..2fd0593 100644 --- a/css/style.css +++ b/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; diff --git a/header.markdown b/header.markdown index 6dd5499..3b6fb71 100644 --- a/header.markdown +++ b/header.markdown @@ -1,2 +1 @@ --- header - diff --git a/pages/introduction.md b/pages/introduction.md index 338300f..e5e6fef 100644 --- a/pages/introduction.md +++ b/pages/introduction.md @@ -1,6 +1,8 @@ ----- title: Introduction date: 16th Febuary 2011 +prev: +next: Hello, Peano → ----- About this tutorial diff --git a/pages/peano.md b/pages/peano.md index 11a02df..a2cd295 100644 --- a/pages/peano.md +++ b/pages/peano.md @@ -1,6 +1,8 @@ ----- title: Hello, Peano date: 16th Feb 2011 +next: +prev: ← Introduction ----- Definitions, Definitions diff --git a/templates/default.html b/templates/default.html index c351cdf..2e1f36c 100644 --- a/templates/default.html +++ b/templates/default.html @@ -9,14 +9,26 @@
Learn you an Agda
+
-$header +
-
$title
$date
$body - +
+ +
$footer