1.1 --- a/static/style.css	Mon Jun 25 19:55:59 2012 +0200
     1.2 +++ b/static/style.css	Mon Jun 25 19:58:09 2012 +0200
     1.3 @@ -563,15 +563,18 @@
     1.4  .ui_filter a {
     1.5    font-weight: bold;
     1.6    margin-right: 0.5em;
     1.7 +  background-color: #fff;
     1.8 +  padding: 0.5ex 0.5em;
     1.9 +  border-radius: 4px;
    1.10 +  border: 1px solid #bbb;
    1.11  }
    1.12  
    1.13  
    1.14  .ui_filter_head a.active {
    1.15 +  border: 1px solid #000;
    1.16    text-decoration: none;
    1.17    background-color: #555;
    1.18    color: #fff;
    1.19 -  padding: 0.5ex 0.5em;
    1.20 -  border-radius: 4px;
    1.21  }
    1.22  
    1.23  /*************************************************************************