It's about 408 on a 500 threshhold IIRC. It's also too small, and the whitespace around the images is overkill. The no longer developed Bitstream Vera Sans has been supplanted by currently developed DejaVu Sans in recent distro releases, so proposing that update as well.

Mailing list discussion start:  http://lists.w3.org/Archives/Public/www-validator-css/2008Mar/0054.html

Proposed changes:
--- results0.css	2008-03-12 10:26:10.000000000 -0400
+++ results.css	2008-03-27 12:05:36.000000000 -0400
@@ -35,7 +35,7 @@
 
 #congrats h3, #errors h3 {
         margin: 0;
-        font-family: "Bitstream Vera Sans", sans-serif;
+        font-family: "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
         font-weight:		800;
         font-style:		normal;
         text-decoration:	none;
@@ -66,14 +66,14 @@
 img.inline-badge {
   float: left;
   padding: 10px;
-  margin-left: 3em;
+  margin-left: 1.6em;
 }
 
 pre.badgeSnippet {
-  margin-left: 108px !important; /* give room to the image */
-  padding-left: 3em;
-  font-size: x-small;
-  color: #777;
+  margin-left: .6em !important; /* give room to the image */
+  padding-left: .6em;
+  font-size: small;
+  color: #060606;
   margin-bottom: 2em;
 }
 
@@ -173,9 +173,9 @@
 
 /* ==== example of code for icon ==== */
 pre {
-        margin-left: 30px;
-        padding: 2em;
-        border-left: thin solid #ddd;
+        margin-left: 3px;
+        padding: 2em .2em 1em;
+	background-color: #edf0f1;
 }
 /*   ==== VALIDATED STYLESHEET =====  */