From 3cb47b5fa8c4843bfb5f693785c7de195f8cf748 Mon Sep 17 00:00:00 2001
From: Simon McFarlane <simon@piston.pw>
Date: Sat, 9 Jan 2016 01:31:10 +0000
Subject: [PATCH] Move options box

---
 js/options.js | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/js/options.js b/js/options.js
index 4a7f3ce9..5e51d428 100644
--- a/js/options.js
+++ b/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(){
 
 
 
-}();
+}();
\ No newline at end of file