diff -r 928732ec00dd -r fa44db7da2dc web/data/cubicweb.css --- a/web/data/cubicweb.css Thu Jul 17 11:08:56 2014 +0200 +++ b/web/data/cubicweb.css Fri Jul 18 17:35:25 2014 +0200 @@ -200,9 +200,15 @@ visibility: hidden; } -li.invisible { - background: none; - padding: 0px 0px 1px 1px; +/* copied verbatim from bootstrap 3.0 */ +.invisible { + visibility: hidden; +} + +/* copied verbatim from bootstrap 3.0 */ +.list-unstyled { + padding-left: 0; + list-style: none; } .caption {