--- a/web/data/cubicweb.css	Sat Sep 26 11:45:47 2009 +0200
+++ b/web/data/cubicweb.css	Mon Sep 28 10:55:36 2009 +0200
@@ -482,22 +482,6 @@
   padding-right: 1em;
 }
 
-div.boxPref {
-  margin: 10px 0px 0px;
-}
-
-div.boxPrefTitle {
-  font-weight: bold;
-  background: #cfceb7;
-  margin-bottom: 6px;
-  padding-bottom: 0.2em;
-  overflow: hidden;
-}
-
-div.boxPrefTitle span{
- padding:0px 5px;
-}
-
 input.rqlsubmit{
   background: #fffff8 url("go.png") 50% 50% no-repeat;
   width: 20px;

--- a/web/data/cubicweb.htmlhelpers.js	Sat Sep 26 11:45:47 2009 +0200
+++ b/web/data/cubicweb.htmlhelpers.js	Mon Sep 28 10:55:36 2009 +0200
@@ -154,7 +154,7 @@
 
 CubicWeb.rounded = [
 		    ['div.sideBoxBody', 'bottom 6px'],
-		    ['div.boxTitle, div.boxPrefTitle, div.sideBoxTitle, th.month', 'top 6px']
+		    ['div.boxTitle, div.sideBoxTitle, th.month', 'top 6px']
 		    ];
 
 function roundedCorners(node) {