IE css and javascript compatibility (not finished yet), thanks Alex!

Translations update.

static/js/common.js

@@ -37,7 +37,7 @@ check_anchor = function() {
     new Request.JSON({url: query, onSuccess: function(resp) {
         callback = ($defined(resp.callback)) ? resp.callback : "default";
         callbacks[callback](resp);
-         infobox.notice("Done");
+        infobox.notice(gettext("Done"));
         infobox.hide(1);
     }}).get();
 }
@@ -197,7 +197,7 @@ parse_menubar = function(id) {
 	    });
 	});
         SqueezeBox.assign($(id).getElements('a[class=boxed]'), {
-            parse: 'rel',        
+            parse: 'rel'
         });
     }
 }
@@ -315,4 +315,4 @@ searchbox_init = function() {
         }
     });
     $("searchbox").setStyle("float", "left");
-}
+}

static/js/infobox.js

@@ -3,7 +3,7 @@ var InfoBox = new Class({
     options: {
         parent : null,
         message : "This is my info box!",
-        width : 200,
+        width : 200
     },
 
     profiles: {
@@ -101,5 +101,5 @@ var InfoBox = new Class({
         }
         $clear(this.timer);
         this.box.setStyle("display", "none");
-    },
-});
+    }
+});