docbook/juddi-docbook-style/src/main/css/css/extensions.css

/* Firefox */

pre {-moz-border-radius:11px;}

.example {-moz-border-radius:15px;}

div.note, div.tip, div.important, div.caution, div.warning {-moz-border-radius:11px;}