Fix sidebar alignment for new logo.

doc/javascripts/main.js

@@ -22,7 +22,7 @@ function initSidebar() {
       var y = (window.pageYOffset !== undefined) ? window.pageYOffset :
         (document.documentElement || document.body.parentNode || document.body).scrollTop;
 
-      if (y < 410 || window.innerHeight < menu.clientHeight + 100) {
+      if (y < 444 || window.innerHeight < menu.clientHeight + 100) {
         menu.className = "";
       } else {
         menu.className = "floating";

doc/stylesheets/stylesheet.css

@@ -542,7 +542,7 @@ body.wide #corner_hack>div, body.normal #corner_hack>div {
 body.wide #menu, body.normal #menu {
   position: absolute;
   left: 50px;
-  top: 460px;
+  top: 494px;
   width: 250px;
   z-index: 10;
 }