# HG changeset patch
# User bsw
# Date 1330638995 -3600
# Node ID 74f768a162e1d941158bde5a3e42bb8a71af5090
# Parent  d89ca4142dc5091882490f6c6ea6560338a11f4f
Minor style fixes

diff -r d89ca4142dc5 -r 74f768a162e1 app/main/_filter_view/30_navigation.lua
--- a/app/main/_filter_view/30_navigation.lua	Thu Mar 01 12:27:59 2012 +0100
+++ b/app/main/_filter_view/30_navigation.lua	Thu Mar 01 22:56:35 2012 +0100
@@ -46,6 +46,7 @@
       }
     }
   end
+
   if app.session.member == nil then
     ui.link{
       text   = _"Registration",
diff -r d89ca4142dc5 -r 74f768a162e1 app/main/admin/index.lua
--- a/app/main/admin/index.lua	Thu Mar 01 12:27:59 2012 +0100
+++ b/app/main/admin/index.lua	Thu Mar 01 22:56:35 2012 +0100
@@ -1,26 +1,26 @@
 slot.put_into("title", _"Admin menu")
 
 
-ui.link{
-  text = _"Policies",
-  module = "admin",
-  view = "policy_list",
-}
-
-slot.put("<br /><br />")
-
-
-ui.link{
-  text = _"Units",
-  module = "admin",
-  view = "unit_list",
-}
-
-  slot.put("<br /><br />")
-
-ui.link{
-  text = _"Members",
-  module = "admin",
-  view = "member_list",
-}
-
+ui.tag{ tag = "ul", content = function()
+  ui.tag{ tag= "li", content = function()
+    ui.link{
+      text = _"Policies",
+      module = "admin",
+      view = "policy_list",
+    }
+  end }
+  ui.tag{ tag= "li", content = function()
+    ui.link{
+      text = _"Units",
+      module = "admin",
+      view = "unit_list",
+    }
+  end }
+  ui.tag{ tag= "li", content = function()
+    ui.link{
+      text = _"Members",
+      module = "admin",
+      view = "member_list",
+    }
+  end }
+end }
\ No newline at end of file
diff -r d89ca4142dc5 -r 74f768a162e1 static/style.css
--- a/static/style.css	Thu Mar 01 12:27:59 2012 +0100
+++ b/static/style.css	Thu Mar 01 22:56:35 2012 +0100
@@ -25,7 +25,9 @@
   color: black;
   background: white;
 }
-
+li {
+  line-height: 133%;
+}
 p {
   margin-top: 2ex;
   margin-bottom: 2ex;
@@ -46,6 +48,7 @@
 
 body {
   background: #fff;
+  line-height: 120%:
 }
 
 body, th, td {
@@ -56,6 +59,10 @@
   margin: 0;
 }
 
+table {
+  margin-top: 1ex;
+}
+
 .area_list {
   line-height: 140%;
 }
@@ -671,6 +678,10 @@
  * vertical ui.form
  */
 
+.vertical {
+  margin-top: 2ex;
+}
+
 .login input[type=text],
 .vertical input[type=text],
 .login input[type=password],