.gwt-MenuBar table {
    width: initial;
}

div.gwt-Label {
    font-family: Tahoma, Arial Unicode MS, Arial, sans-serif;
}

div.gwt-HTML {
    font-family: Tahoma, Arial Unicode MS, Arial, sans-serif;
    font-size: 13px;
}

.statusBarPanel {
    margin-top: 2px;
    margin-left: 1px;
}

.palettePanel {
    margin-left: 10px;
    margin-right: 10px;
}

.fullpage {
    transform: scale(1) !important;
    position: fixed;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
    background-color: white;
    height: unset !important;
    width: unset !important;
    z-index: 2000;
}

.gwt-MenuBarPopup {
    z-index: 5000;
}