commit | d18e01352c549452f924d8d942d131b6bd29b3ce | [log] [tgz] |
---|---|---|
author | Werner Lemberg <wl@gnu.org> | Fri Jul 25 22:21:57 2003 +0000 |
committer | Werner Lemberg <wl@gnu.org> | Fri Jul 25 22:21:57 2003 +0000 |
tree | f5b8290900e0c5fbfac1ad83c98054d90ba4a635 | |
parent | 64f1ba90642db6578abe8a6dd338b176533224f6 [diff] |
(code_header, code_footer): Don't change font colour directly but use a special <pre> class.