From 8464d1e43e78b8b60b2b8232421af914897a0252 Mon Sep 17 00:00:00 2001
From: Nils Schneider <nils.schneider@gmail.com>
Date: Fri, 16 Sep 2011 20:52:42 +0200
Subject: [PATCH] get rid of javascript (unreliable)

---
 _layouts/base.html |  2 ++
 lib/app.js         | 22 ----------------------
 2 files changed, 2 insertions(+), 22 deletions(-)
 delete mode 100644 lib/app.js

diff --git a/_layouts/base.html b/_layouts/base.html
index fbfd689b..476748b6 100644
--- a/_layouts/base.html
+++ b/_layouts/base.html
@@ -12,8 +12,10 @@
     <![endif]-->
 
     <!-- scripting -->
+    <!--
     <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.6.2/jquery.min.js"></script>
     <script src="/lib/app.js"></script>
+    -->
 
     <!-- stylesheet -->
     {% lesscss bootstrap.less %}
diff --git a/lib/app.js b/lib/app.js
deleted file mode 100644
index cac72afd..00000000
--- a/lib/app.js
+++ /dev/null
@@ -1,22 +0,0 @@
-$(document).ready(function(){
-	var docked;
-	var menu = document.getElementById('menu');
-  var init = menu.offsetTop;
-
-	window.onscroll = function () {
-		if (!docked && (menu.offsetTop - scrollTop() < 0)) {
-			menu.style.top = 0;
-			menu.style.position = 'fixed';
-			docked = true;
-		} else if (docked && scrollTop() <= init) {
-			menu.style.top = init + 'px';
-			menu.style.position = 'absolute';
-			docked = false;
-		}
-	};
-
-});
-
-function scrollTop() {
-	return document.body.scrollTop || document.documentElement.scrollTop;
-}