- Patch #919718 by reglogge: some tags are rendered too big by IE in Seven theme.

themes/seven/ie.css

@@ -10,3 +10,10 @@ fieldset .fieldset-legend {
   left: 0;
   top: 0;
 }
+
+/* IE renders monospace font too big. */
+code,
+pre,
+kbd {
+  font-size: 1em;
+}