top-bar adjustment

css/style.css

@@ -532,7 +532,7 @@ a.reference:before{content:'\00BB  '}
 	background-color: #035683;
 	float: right;
 	height: 50px;
-	width: 280px;
+	width: 300px; /*changed 2nd May 21, see also #top-bar .widget_polytopic*/
 	font-size: 12px;
 }
 #search-menu {
@@ -611,7 +611,7 @@ a.reference:before{content:'\00BB  '}
 	background-color: #035683;
 	float: left;
 	height: 50px;
-	width: 380px;
+	width: 360px; /*changed 2nd May 21*/
 	font-size: 16px;
 }