Move options box

js/options.js

@@ -103,17 +103,19 @@ options_tablist = $("<div id='options_tablist'></div>").appendTo(options_div);
 
 
 $(function(){
-  options_button = $("<a href='javascript:void(0)' title='"+_("Options")+"'>["+_("Options")+"]</a>").css("float", "right");
+  options_button = $("<a href='javascript:void(0)' title='"+_("Options")+"'>["+_("Options")+"]</a>");
 
   if ($(".boardlist.compact-boardlist").length) {
     options_button.addClass("cb-item cb-fa").html("<i class='fa fa-gear'></i>");
   }
 
   if ($(".boardlist:first").length) {
-    options_button.appendTo($(".boardlist:first"));
+    options_button.css('float', 'right').appendTo($(".boardlist:first"));
   }
   else {
-    options_button.prependTo($(document.body));
+    var optsdiv = $('<div style="text-align: right"></div>');
+    options_button.appendTo(optsdiv);
+    optsdiv.prependTo($(document.body));
   }
 
   options_button.on("click", Options.show);
@@ -123,4 +125,4 @@ $(function(){
 
 
 
-}();
+}();