# HG changeset patch # User jonas # Date 1029237612 0 # Node ID 5c29c5c5f47ca56e469190dd617dbdc73fcc2549 # Parent 6074119e09a08049acacebcba25c1e9999f81396 Mozilla/Opera/? fix diff -r 6074119e09a0 -r 5c29c5c5f47c DOCS/default.css --- a/DOCS/default.css Tue Aug 13 08:41:49 2002 +0000 +++ b/DOCS/default.css Tue Aug 13 11:20:12 2002 +0000 @@ -1,4 +1,4 @@ -body { +body,table { font-family : Arial, Helvetica, sans-serif; font-size : 14px; background : white;