Since so much of this is fine, skinny lines and browser scaling doesn't do resampling when it scales, you get this one big. This is from back in the good old days when you could draw whatever you wanted for your UI look. And just to toot my own horn, before 3d buttons were standard.