Thomas 'PointedEars' Lahn wrote:
However, if server-side scripting is available, ways are available
to convert "<" to "<" and ">" to ">". Not even IE will try
to parse the content then. The document must be served as text/html
(or application/xhtml+xml) with a surrounding "body" element, though.
The "pre" element should come in handy then.
Or, much more simple, if server-side PHP is available and the file is
on an ext2 compatible filesystem, one could place a symlink with the
suffix .phps to point to the .html file (if the filesystem is not
ext2 compatible, a renamed copy of the .html file is required). PHP
will then output the color-coded source code if used as an Apache
module, the Apache configuration contains
AddType application/x-httpd-php-source .phps
and the .phps file is accessed as HTTP resource. Example:
<http://www.pointedears.de/scripts/test/dom.xhtml.phps>
PointedEars
--
"I have the heart of a small boy -- and I keep it in a jar on my desk."