Sign in
apache
/
juddi-styles
/
92c6a341081d342373bd68ac3387c3a7322fa6f8
/
.
/
docbook
/
juddi-docbook-style
/
src
/
main
/
css
/
css
/
extensions.css
blob: fd43f3b6702b0874d240f63c4fb0a94db1d5ee5a [
file
] [
log
] [
blame
]
/* 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
;}