Re: Custom DTD for case-insensitive ID values ?

"Jukka K. Korpela" wrote:

[snip]

> Well, that is possible, but I really don't think you should do that.
> Anyway, it can be done by location the following in the DTD:
> 
> <!ENTITY % coreattrs
>  "id          ID           #IMPLIED  -- document-wide unique id --
> 
> and changing ID (the uppercase string) to NAME. You could alternatively
> use CDATA, but that would be more permissive than you asked for.
> The syntactic rule for NAME values is the same as for ID values, but for
> ID, there is the added requirement of uniqueness.

Slight problem, Jukka : IDs are no longer required to be unique.

What I had wanted was that they should still be required to be
unique, but that uniqueness should imply case-sensitivity (in this
context, at least); is that possible, do you think ?

New validation results at

	http://validator.w3.org/check?uri=http://uk.tug.org/

but

	http://uk.tug.org/ 

has two identical DIVs of the form

	<div id="Mask" style="position:absolute; width:200px; 
             height:115px; z-index:1; left: 12px; top: 16px; 
             visibility: visible"><img src="Resources/Graphics/Mask.gif" 
             width="750" height="405" alt="">
        </div>

	<div id="Mask" style="position:absolute; width:200px; 
             height:115px; z-index:1; left: 12px; top: 16px; 
             visibility: visible"><img src="Resources/Graphics/Mask.gif" 
             width="750" height="405" alt="">
        </div>

** Phil.

Received on Monday, 15 September 2003 11:15:50 UTC