3 files changed, 20 insertions, 6 deletions
diff --git a/skins/common/common.css b/skins/common/common.css
index d73d1399a768..3e9c30525d57 100644
--- a/skins/common/common.css
+++ b/skins/common/common.css
@@ -354,3 +354,22 @@ table.exif td.spacer {
 	background-color: #eeeeff;
 	padding: 0.2em;
 }
+
+/* Allmessages table */
+
+#allmessagestable th {
+	background-color: #b2b2ff;
+}
+
+#allmessagestable tr.orig {
+	background-color: #ffe2e2;
+}
+
+#allmessagestable tr.new {
+	background-color: #e2ffe2;
+}
+
+#allmessagestable tr.def {
+	background-color: #f0f0ff;
+}
+
diff --git a/skins/common/commonPrint.css b/skins/common/commonPrint.css
index 8835f3a41f48..76b054cd7b3e 100644
--- a/skins/common/commonPrint.css
+++ b/skins/common/commonPrint.css
@@ -62,7 +62,6 @@ div.thumb div a img {
 }
 div.thumb div div.thumbcaption {
     border: none;
-    text-align: left;
     padding: 0.3em 0 0.1em 0;
 }
 div.magnify { display: none; }
@@ -120,7 +119,6 @@ ul {
     font-size: 11pt;
     padding: 0 ! important;
     margin: 0 ! important;
-    text-align: left;
 }
 #footer {
     border-top: 1px solid black;
diff --git a/skins/common/wikibits.js b/skins/common/wikibits.js
index 249f72064619..76485a2c1133 100644
--- a/skins/common/wikibits.js
+++ b/skins/common/wikibits.js
@@ -479,10 +479,7 @@ function fillDestFilename() {
 
 	// Output result
 	var destFile = document.getElementById('wpDestFile');
-	if (destFile.value == '' || destFile.value == document.fname ) {
-		document.getElementById('wpDestFile').value = fname;
-	}
-	document.fname = fname;
+	if (destFile) destFile.value = fname;
 }