# HG changeset patch
# User bsw
# Date 1325211354 -3600
# Node ID 272193cc190ea12ecfe7b3f9752b3cfafdbaceb7
# Parent  52b125fada5ba753b33131018ac6cd7ae383a478
Visually polish unit selector

diff -r 52b125fada5b -r 272193cc190e app/main/_filter_view/30_navigation.lua
--- a/app/main/_filter_view/30_navigation.lua	Fri Dec 30 03:14:51 2011 +0100
+++ b/app/main/_filter_view/30_navigation.lua	Fri Dec 30 03:15:54 2011 +0100
@@ -16,6 +16,7 @@
     local units = Unit:get_flattened_tree()
 
     ui.form{
+      attr = { class = "unit_selector" },
       module = "index", action = "set_current_units", 
       routing = { default = { mode = "redirect", module = "area", view = "list" } },
       content = function()
diff -r 52b125fada5b -r 272193cc190e static/style.css
--- a/static/style.css	Fri Dec 30 03:14:51 2011 +0100
+++ b/static/style.css	Fri Dec 30 03:15:54 2011 +0100
@@ -146,6 +146,10 @@
   padding: 1ex;
 }
 
+form.unit_selector {
+  display: inline;
+}
+
 .logout_button {
   float: right;
 }