Index: formatting.php
===================================================================
--- formatting.php	(revision 12962)
+++ formatting.php	(working copy)
@@ -1427,7 +1427,7 @@
 
 	$srcurl = apply_filters('smilies_src', "$siteurl/wp-includes/images/smilies/$img", $img, $siteurl);
 
-	return " <img src='$srcurl' alt='$smiley_masked' class='wp-smiley' /> ";
+	return " <img src='$srcurl' alt='$smiley_masked' class='wp-smiley' width='15' height='15' /> ";
 }