pre{-moz-border-radius:11px;}
.example{-moz-border-radius:15px;}
/*div.note,div.tip ,div.important ,div.caution ,div.warning{-moz-border-radius:11px;}*/