.gss-AboutText {
width: 24em;
+ /* Restore the padding we remove when overriding the gwt-DialogBox style */
+ padding: 3px;
}
.gss-Groups {
.gss-DialogBox {
}
-#loading-area {
- background: url(black-rounded.png) no-repeat;
-}
-
-#loading-area p {
- text-indent: -999em;
- padding: 0;
- overflow: hidden;
- width: 176px;
- height: 63px;
- background-image: url(loading.gif);
- background-repeat: no-repeat;
-}
-
.gss-readForAllNote {
width: 240px;
text-align: justify;
padding: 6px;
}
-.gss-loading {
- border: none;
-}
-
.gss-splitPanel {
background-color: white;
border: 1px solid darkgrey;
}
+
+.gss-tag {
+ display:inline;
+}
+
+/* Use the background color for the splitter. */
+.gwt-HorizontalSplitPanel .hsplitter {
+ cursor: move;
+ border: 0px;
+ background: #bec8e6;
+}
+
+/* Avoid extended background color in tree nodes. */
+.gwt-TreeItem-selected .gwt-HTML {
+ display: inline;
+}
+
+/*
+ * Remove the padding inside the dialog boxes so that our background color
+ * appears uniform in warnings and errors.
+ */
+.gwt-DialogBox .dialogMiddleCenter {
+ background:none repeat scroll 0 0 white;
+ padding: 0;
+}