keeping up with classic and new features
[themes.git] / EarlyBlue / editor / EditorDialog.css
index e4c2bab1c3c9d70015583e16484c7d12f57e2069..321481e0573610e82af387ceae13f5cce9b62a8f 100644 (file)
@@ -243,6 +243,20 @@ label#alignLabel {
   min-height: 10px;
 }
 
+/* These two should be the width of the checkbox and radio button images + margin + padding
+   Used to indent below those to the level of the text label next to image
+*/
+
+.checkbox-spacer {
+  width: 16px;
+  min-width: 16px;
+}
+
+.radio-spacer {
+  width: 16px;
+  min-width: 16px;
+}
+
 #alignTypeSelect {
   height: 34px;
 }
@@ -304,3 +318,17 @@ tree.AttributesTree {
   min-width: 200px;
   min-height: 200px;
 }
+
+/* ::::: Publishing Progress ::::: */
+
+.progressitem[progress="busy"] {
+  list-style-image: url("chrome://editor/skin/icons/progress-busy.gif");
+}
+
+.progressitem[progress="done"] {
+  list-style-image: url("chrome://editor/skin/icons/progress-done.gif");
+}
+
+.progressitem[progress="failed"] {
+  list-style-image: url("chrome://editor/skin/icons/progress-failed.gif");
+}