Wiki diff style fix (follow-up to CSS change done in r3005)
Authored by: cboos 2006-05-12
Parent: [r3289]
Child: [r3291]