Removed redundancy/typo in css. Closes #647.
Authored by: daniel 2004-07-23
Parent: [r829]
Child: [r831]