--- resize.js.orig	2013-04-29 14:13:23.598096241 +0200
+++ resize.js	2013-04-29 14:17:08.825563478 +0200
@@ -38,7 +38,7 @@
 {
   var windowWidth = $(window).width() + "px";
   var sidenavWidth = $(sidenav).outerWidth();
-  content.css({marginLeft:parseInt(sidenavWidth)+6+"px"}); //account for 6px-wide handle-bar
+  content.css({marginLeft:sidenavWidth+"px"});
   writeCookie('width',sidenavWidth, null);
 }
 
