font-size: 85%;
background: #EDF1FA;
}
+#topbanner {
+ padding: 0px;
+}
#logoimg {
float: left;
margin-left: 20px;
}
-.helptag {
- color: #488dd2;
- text-decoration: underline;
-}
#logotitle {
float: left;
margin-left: 30px;
background-color: #FFFFCC;
z-index: 51; /* Cf. #update_workspace_button */
}
+
+.error {
+ color: red;
+}