diff --git a/openbis/source/java/ch/systemsx/cisd/openbis/generic/client/web/client/application/TopMenu.java b/openbis/source/java/ch/systemsx/cisd/openbis/generic/client/web/client/application/TopMenu.java index b2c78d1270c1b441c7099375aec3c4e8e6a46817..5971cfbcf265d15d953c364d2bb0aa7a92e30246 100644 --- a/openbis/source/java/ch/systemsx/cisd/openbis/generic/client/web/client/application/TopMenu.java +++ b/openbis/source/java/ch/systemsx/cisd/openbis/generic/client/web/client/application/TopMenu.java @@ -26,6 +26,7 @@ import com.extjs.gxt.ui.client.widget.toolbar.FillToolItem; import com.extjs.gxt.ui.client.widget.toolbar.SeparatorToolItem; import com.extjs.gxt.ui.client.widget.toolbar.TextToolItem; import com.extjs.gxt.ui.client.widget.toolbar.ToolBar; +import com.google.gwt.user.client.DOM; import com.google.gwt.user.client.Element; import ch.systemsx.cisd.openbis.generic.client.web.client.dto.SessionContext; @@ -93,8 +94,9 @@ public class TopMenu extends LayoutContainer private final Html createTitleHeader() { - - final Html titleHeader = new Html(viewContext.getMessage(Dict.APPLICATION_NAME)); + final Element boldElement = DOM.createElement("b"); + boldElement.setInnerHTML(viewContext.getMessage(Dict.APPLICATION_NAME)); + final Html titleHeader = new Html(DOM.toString(boldElement)); titleHeader.setStyleAttribute("margin", "0 1em 0 1em"); return titleHeader; }