May I suggest this feature as well:
#header { -moz-border-radius, -webkit-border-radius, border-radius: 5; }