--- pi.css-original	2015-02-20 10:25:48.431314063 +0100
+++ pi.css	2015-02-20 10:29:46.000000000 +0100
@@ -2,7 +2,9 @@
 	body table.maintable { font-size: 80%; }
 	.mainheader { display: none; }
 	.tabbar { display: none; }
-	.menubar { display: none; }
+	.searchbox { display: none; }
+	div.menubar { color: #000000; font-weight: bold; }
+	div.menubar a { color: #000000; font-weight: bold; }
 	div.greynavbar { border-top-width: 0px; }
 	.greynavbar * a[class=std] { display: none; }
 	.greynavbar * a[class=attn] { display: none; }