This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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 ===== */
Created attachment 541 [details] current view screenshot
Created attachment 542 [details] screenshot with proposed changes applied