Restored old layout for 4.0 documentation
diff --git a/4.0/decoder.md b/4.0/decoder.md
index 31f4ec4..e3839bf 100644
--- a/4.0/decoder.md
+++ b/4.0/decoder.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: links
 title: Decoder configuration parameters
 ---
diff --git a/4.0/faq.md b/4.0/faq.md
index 2ac67ba..f0a4151 100644
--- a/4.0/faq.md
+++ b/4.0/faq.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: help
 title: Common problems
 ---
diff --git a/4.0/features.md b/4.0/features.md
index b7ede8f..d915c82 100644
--- a/4.0/features.md
+++ b/4.0/features.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: links
 title: Features
 ---
diff --git a/4.0/file-formats.md b/4.0/file-formats.md
index 68af2b0..c10f906 100644
--- a/4.0/file-formats.md
+++ b/4.0/file-formats.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: advanced
 title: Joshua file formats
 ---
diff --git a/4.0/index.md b/4.0/index.md
index 6c2a66e..ae62e4e 100644
--- a/4.0/index.md
+++ b/4.0/index.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 title: Joshua 4.0 User Documentation
 ---
 
diff --git a/4.0/large-lms.md b/4.0/large-lms.md
index 28ba0b9..a4ba5b7 100644
--- a/4.0/large-lms.md
+++ b/4.0/large-lms.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 title: Building large LMs with SRILM
 category: advanced
 ---
diff --git a/4.0/lattice.md b/4.0/lattice.md
index 6ef7fb7..5d6bd47 100644
--- a/4.0/lattice.md
+++ b/4.0/lattice.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: advanced
 title: Lattice decoding
 ---
diff --git a/4.0/packing.md b/4.0/packing.md
index 2f39ba7..9318f6e 100644
--- a/4.0/packing.md
+++ b/4.0/packing.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: advanced
 title: Grammar Packing
 ---
diff --git a/4.0/pipeline.md b/4.0/pipeline.md
index 32bb150..33eafb3 100644
--- a/4.0/pipeline.md
+++ b/4.0/pipeline.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: links
 title: The Joshua Pipeline
 ---
diff --git a/4.0/thrax.md b/4.0/thrax.md
index a904b23..6b276b0 100644
--- a/4.0/thrax.md
+++ b/4.0/thrax.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: advanced
 title: Grammar extraction with Thrax
 ---
diff --git a/4.0/tms.md b/4.0/tms.md
index 68f8732..a86a311 100644
--- a/4.0/tms.md
+++ b/4.0/tms.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: advanced
 title: Building Translation Models
 ---
diff --git a/4.0/zmert.md b/4.0/zmert.md
index d6a5d3c..538a2ac 100644
--- a/4.0/zmert.md
+++ b/4.0/zmert.md
@@ -1,5 +1,5 @@
 ---
-layout: default
+layout: default4
 category: advanced
 title: Z-MERT
 ---
diff --git a/_layouts/default4.html b/_layouts/default4.html
new file mode 100644
index 0000000..a9d417b
--- /dev/null
+++ b/_layouts/default4.html
@@ -0,0 +1,94 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!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">
+  <head>
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+    <link rel="stylesheet" type="text/css" media="screen,print" href="../joshua4.css" />
+    <title>Joshua | {{ page.title }}</title>
+  </head>
+
+  <body>
+
+    <div id="navbar">
+      <a href="http://joshua-decoder.org/">
+        <img src="../images/joshua-logo-small.png" width="130px" 
+             alt="Joshua logo (picture of a Joshua tree)" />
+      </a>
+
+      <p class="infobox">
+        <b>Stable version</b><br />
+        4.1<br/><br/>
+        <b>Release date</b><br />
+        2013 January
+      </p>
+
+<!--       <div class="infobox"> -->
+<!--         <b>AUTO LINKS</b><br/> -->
+<!--         <ul> -->
+<!--           {% for page in site.pages %} -->
+<!--           <li> {{ page.title }}</li> -->
+<!--           {% endfor %} -->
+<!--         </ul> -->
+<!--       </div>   -->
+
+      <div class="infobox">
+
+        <b>Links</b><br />
+        <ul>
+          <li> <a href="../index.html">Main</a> </li>
+          <li> <a href="pipeline.html">Pipeline</a> </li>
+          <li> <a href="step-by-step-instructions.html">Manual walkthrough</a> </li>
+          <li> <a href="decoder.html">Decoder</a> </li>
+          <li> <a href="server.html">Decoder Server</a> </li>
+          <li> <a href="file-formats.html">File formats</a> </li>
+          <li> <a href="thrax.html">Grammar Extraction</a> </li>
+          <li> <a href="../releases.html">Releases</a> </li>
+        </ul>
+      </div>
+
+      <div class="infobox">
+        <b>Advanced</b><br />
+        <ul>
+<!--          <li> <a href="packing.html">Grammar packing</a> </li> -->
+          <li> <a href="large-lms.html">Building large LMs</a> </li>
+          <li> <a href="zmert.html">Running Z-MERT</a> </li>
+          <li> <a href="lattice.html">Lattices</a> </li>
+          <li> <a href="server.html">TCP/IP server</a> </li>
+          <li> <a href="bundle.html">Bundled configuration</a> </li>
+        </ul>
+      </div>
+
+      <div class="infobox">
+        <b>Help</b><br />
+        <ul>
+          <li> <a href="faq.html">Answers</a> </li>
+          <li> <a href="https://groups.google.com/d/forum/joshua_support">Archive</a> </li>
+        </ul>
+      </div>
+
+      <div class="footer">
+        Last updated on {{ site.time | date: "%B %d, %Y" }}
+      </div>
+
+    </div>
+
+    <div id="main">
+      <div id="title">
+        <h1>{{ page.title }}</h1>
+      </div>
+
+      <div id="content">
+        
+        {{ content }}
+
+      </div>
+    </div>
+
+  </body>
+</html>
+
+
+
+
+
diff --git a/joshua4.css b/joshua4.css
new file mode 100644
index 0000000..0e14b84
--- /dev/null
+++ b/joshua4.css
@@ -0,0 +1,183 @@
+html {
+    font-family: George, sans-serif;
+  font-size: 12pt;
+}
+
+body {
+//  background-image: url('images/desert.jpg');
+//  -webkit-background-size: cover;
+//  -moz-background-size: cover;
+//  -o-background-size: cover;
+//  background-size: cover;
+//  background-repeat: no-repeat;
+//  background-position: top;
+}
+
+div {
+  float: left;
+}
+
+h1 {
+    font-family: Verdana;
+    font-weight: bold;
+    font-size: 24pt;
+}
+
+#title {
+    padding: 5px;
+    margin: 5px;
+}
+
+div#navbar {
+  width: 150px;
+  clear: both;
+}
+
+.infobox {
+  /* border-radius: 5px; */
+  background-color: LightBlue;
+  padding: 5px;
+  margin-bottom: 10px;
+  width: 140px;
+}
+
+div#twitterbar {
+  /* border-radius: 5px; */
+  background-color: LightBlue;
+  padding: 5px;
+  width: 250px;
+  margin-top: 150px;
+}
+
+div#content {
+  float: left;
+  width: 600px;
+  margin: 5px;
+  padding: 5px;
+  clear: both;
+}
+
+pre {
+  font-size: 10pt;
+}
+
+img {
+  display: block;
+  margin-left: auto;
+  margin-right: auto;
+}
+
+img.sponsor {
+  height: 120px;
+  margin: 5px;
+}
+
+a:link { 
+  text-decoration: none;
+  color: MediumBlue;
+}
+
+a:visited { 
+  text-decoration: none;
+  color: Gray;
+}
+
+table {
+    border: 1px solid black;
+}
+
+table#results td {
+    padding: 3px;
+    text-align: right;
+}
+
+table#results td.system {
+    text-align: left;
+}
+
+#download {
+    background-color: green;
+    font-size: 14pt;
+    font-weight: bold;
+    text-align: center;
+    color: white;
+    /* border-radius: 5px; */
+    padding: 5px;
+    padding-top: 10px;
+    padding-bottom: 10px;
+    width: 140px;
+}
+
+#download a:link {
+    color: white;
+}
+
+#download a:hover {
+    color: lightgrey;
+}
+
+#download a:visited {
+    color: white;
+}
+
+a.pdf {
+    font-variant: small-caps;
+    /* font-weight: bold; */
+    font-size: 10pt;
+    color: white;
+    background: brown;
+    padding: 2px;
+}
+
+a.bibtex {
+    font-variant: small-caps;
+    /* font-weight: bold; */
+    font-size: 10pt;
+    color: white;
+    background: orange;
+    padding: 2px;
+}
+
+div#content p {
+    padding: 0px;
+    padding-bottom: 10px; 
+    margin: 0px;
+}
+
+ul {
+    list-style-type: square;
+    list-style-position: inside;
+    margin: 5px;
+    padding: 5px;
+}
+
+.infobox ul {
+    list-style-type: none;
+    list-style-position: outside;
+    margin: 3px;
+    padding: 1px;
+    font-size: 90%;
+}
+
+.infobox a:hover {
+    color: black;
+}
+
+
+.footer {
+    font-style: italic;
+    font-size: 80%;
+    color: #666;
+    border-top: 4px solid #eee;
+    margin-top: 2em;
+    overflow: hidden;
+    clear: both;
+  }
+
+.warning {
+    background-color: rgba(255,192,203,.5);
+    border: 2px dashed red;
+    margin: 10px;
+    margin-left: 30px;
+    padding: 3px;
+}