# [PATCH][ZE2] zend_highlight.c <font> change

- Thread: https://externals.io/message/5094
- Original archive: https://news-web.php.net/php.internals/5094
- Started by GPHemsley@aol.com on 2003-10-30T04:35:24+00:00
- Messages: 1
- Reply by email to internals@lists.php.net
- More for agents: search with https://externals.io/search.md?q={query} · JSON API at https://externals.io/api · documentation at https://externals.io/llms.txt

---

## #5094 — GPHemsley@aol.com — 2003-10-30T04:35:24+00:00

URL: https://externals.io/message/5094#5094

I haven't been following this too closely, and I'm not exactly sure what I'm 
looking for, but I used Mozilla 1.5 and all seemed to look alright (except for 
a blank line at the top and bottom of the preformatted text).

Gordon Hemsley