webui/war/webui.css

.header {
    position: absolute;
    top: 0px;
    left: 0px;
    right: 0px;
    height: 100px;
    border-bottom-style: groove;
    border-bottom-width: 2px;
}

.body {
    position: absolute;
    left: 0px;
    right: 0px;
    top: 100px;
    bottom: 0px;
}

.fixedColumn {
    min-width: 4em;
    text-align: center;
}

.objectTable {
    height: 100%;
    width: 100%;
    border-style: inset;
    border-width: 1px;
}

.objectTable table {
    width: 100%;
}

.objectTable table td + td {
    width: 1em;
}

/** Example rules used by the template application (remove for your app) */

h1 {
    font-size: 2em;
    font-weight: bold;
    color: #777777;
    margin: 40px 0px 70px;
    text-align: center;
}

.sendButton {
    display: block;
    font-size: 16pt;
}

/** Most GWT widgets already have a style name defined */

.gwt-DialogBox {
    width: 400px;
}

.dialogVPanel {
    margin: 5px;
}

.serverResponseLabelError {
    color: red;
}

/** Set ids using widget.getElement().setId("idOfElement") */

#closeButton {
    margin: 15px 6px 6px;
}

.serverStatusGood {
    color: #666;
    padding: 2px;
    border-style: inset;
    border-width: 1px;
}

.serverStatusBad {
    color: #000;
    background-color: #faa;
    padding: 2px;
    border-style: inset;
    border-width: 1px;
}

.objectpanel {
    background-color: #ddd;
    margin: 4px 4px 4px 4px;
}

.objectpaneltext-selected {
    color: white;
}

.objectpanel-selected {
    background-color: #f34;
}

.objectpanel-related {
    background-color: #fde;
}

/* an 'add' button */

.gwt-Button-add {
    width: 2em;
}