Z7: Style improvements in update dialog

chrome/content/zotero/update/update-header.js

@@ -13,21 +13,24 @@
 			<hbox class="wizard-header update-header" flex="1">
 				<vbox class="wizard-header-box-1">
 				  <vbox class="wizard-header-box-text">
-					<label class="wizard-header-label"/>
+					<label><html:h2 class="wizard-header-label"/></label>
 				  </vbox>
 				</vbox>
 			  </hbox>
 		`);
 		
-		static get inheritedAttributes() {
-			return {
-				".wizard-header-label": "value=label",
-			};
-		}
-		
 		connectedCallback() {
 			super.connectedCallback();
-			this.initializeAttributeInheritance();
+			
+			this.querySelector('h2').textContent = this.getAttribute('label');
+		}
+		
+		static get observedAttributes() { return ['label']; }
+		
+		attributeChangedCallback(name, oldVal, newVal) {
+			if (name == "label" && newVal != oldVal) {
+				this.querySelector('h2').textContent = newVal;
+			}
 		}
 	}
 	

chrome/content/zotero/update/updates.css

@@ -10,13 +10,8 @@ needed. */
 	display: -moz-box !important;
 }
 
-/* Custom header implementation based on the Wizard's header. This allows the
+.update-header h2 {
-size of the billboard's remotecontent to size the window since it does not
+	font-size: 13px;
-have an updateheader on the billboard page. */
-updateheader {
-	-moz-binding: url("chrome://mozapps/content/update/updates.xml#updateheader");
-	display: -moz-box;
-	-moz-box-orient: horizontal;
 }
 
 #downloadProgress {
@@ -32,3 +27,7 @@ richlistitem.update {
 .update-name {
 	-moz-box-flex: 1;
 }
+
+#errorReason {
+	padding: .75em;
+}