purtroppo io non posso testare sul 9 però in effetti dovrebbe bastare il border-radius. L'htc dovrebbe essere per le versioni precedenti al 9.
Il secondo link, guardandolo con IE9 vedi il box azzurro arrotondato o no?