%Pixels; 型 (HTML 4, XHTML 1)

[1] HTML 4 の属性値の型 %Pixels; は、画素数を表す無単位の整数です。

[5] 単位画素の定義は CSS 1 HTML4PX や CSS 2 XHTML m12n 4.3 が参照されています。

[2] 値域については HTML 4 で言及はありませんが、 画素の数という定義からして負の数はまず駄目でしょう。

慣習的な解釈を加味すると、零が認められるか否かは使われる場面に依存、 実装が扱える範囲を越えた場合は実装依存でしょう。たぶん。

[4] HTML 4 DTD の注釈 (参考) には integer representing length in pixels と書かれています。

[3] 仕様書:

• HTML 4
  • [HTML4PX] IW:HTML4:"types.html#type-pixels"
  • 厳密DTD IW:HTML4:"sgml/dtd.html#Pixels"
  • 移行用DTD IW:HTML4:"sgml/loosedtd.html#Pixels"
• XHTML 1.0
  • A.1.1. XHTML-1.0-Strict http://www.w3.org/TR/2002/REC-xhtml1-20020801/dtds.html#dtdentry_xhtml1-strict.dtd_Pixels
  • A.1.2. XHTML-1.0-Transitional http://www.w3.org/TR/2002/REC-xhtml1-20020801/dtds.html#dtdentry_xhtml1-transitional.dtd_Pixels
  • A.1.3. XHTML-1.0-Frameset http://www.w3.org/TR/2002/REC-xhtml1-20020801/dtds.html#dtdentry_xhtml1-frameset.dtd_Pixels
• XHTML m12n
  • 4.3. Attribute Types IW:XHTML1m12n:"abstraction.html#dt_Pixels"

メモ