--- a/web/data/tabs-no-images.css	Thu Jul 16 13:30:13 2009 +0200
+++ b/web/data/tabs-no-images.css	Thu Jul 16 14:44:18 2009 +0200
@@ -3,7 +3,7 @@
 ul.css-tabs {
 	margin:0 !important;
 	padding:0;
-	height:24px;
+	height:20px;
 	border-bottom:1px solid #666;
 }
 
@@ -24,12 +24,10 @@
 	text-decoration:none;
 	border:1px solid #666;
 	border-bottom:0px;
-	height:18px;
+	height:14px;
 	background-color:#efefef;
 	color:#777;
 	margin-right:2px;
-	-moz-border-radius-topleft: 4px;
-	-moz-border-radius-topright:4px;
 	position:relative;
 	top:1px;
 }
@@ -42,9 +40,8 @@
 /* selected tab */
 ul.css-tabs a.current {
 	background-color: white;
-	border-bottom:2px solid #ddd;
+	border-bottom:2px solid white;
 	color:#000;
-	cursor:default;
 }
 
 

--- a/web/views/tabs.py	Thu Jul 16 13:30:13 2009 +0200
+++ b/web/views/tabs.py	Thu Jul 16 14:44:18 2009 +0200
@@ -134,6 +134,7 @@
         w(u'</div>')
         # call the set_tab() JS function *after* each tab is generated
         # because the callback binding needs to be done before
+        # XXX make work history: true
         self.req.add_onload(u'''
     jQuery(function() {
       jQuery("#tabs-%(eeid)s").tabs("#panes-%(eeid)s > div", {initialIndex: %(tabindex)s});