# HG changeset patch
# User bsw
# Date 1340647089 -7200
# Node ID 7b2d7c0990b76fa5c8f88d384fec73986017ff7a
# Parent  3aff9990b0a17994b34530da8623896bb2b90fff
Optical enhancements

diff -r 3aff9990b0a1 -r 7b2d7c0990b7 static/style.css
--- a/static/style.css	Mon Jun 25 19:55:59 2012 +0200
+++ b/static/style.css	Mon Jun 25 19:58:09 2012 +0200
@@ -563,15 +563,18 @@
 .ui_filter a {
   font-weight: bold;
   margin-right: 0.5em;
+  background-color: #fff;
+  padding: 0.5ex 0.5em;
+  border-radius: 4px;
+  border: 1px solid #bbb;
 }
 
 
 .ui_filter_head a.active {
+  border: 1px solid #000;
   text-decoration: none;
   background-color: #555;
   color: #fff;
-  padding: 0.5ex 0.5em;
-  border-radius: 4px;
 }
 
 /*************************************************************************