11<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN">
22<html lang="en">
3- <!-- $Id: syndata.src,v 2.147 2007-02-19 16:45:47 bbos Exp $ -->
3+ <!-- $Id: syndata.src,v 2.148 2007-03-07 16:42:17 bbos Exp $ -->
44<head>
55<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
66<title>Syntax and basic data types</title>
@@ -760,7 +760,7 @@ consists of one or more digits "0" to "9". A <number> can either
760760be an <integer>, or it can be zero or more digits followed by a
761761dot (.) followed by one or more digits. Both integers and real numbers
762762may be preceded by a "-" or "+" to indicate the sign.
763- </p>
763+ -0 is equivalent to 0 and is not a negative number. </p>
764764
765765<p>Note that many properties that allow an integer or real number as a
766766value actually restrict the value to some range, often to a
@@ -1186,7 +1186,8 @@ href="colors.html#gamma-correction">gamma correction</a> for further
11861186details. Note that only colors specified in CSS are affected; e.g.,
11871187images are expected to carry their own color information.
11881188</p>
1189- <p>Values outside the device gamut should be clipped: the red, green,
1189+ <p>Values outside the device gamut should be clipped or
1190+ mapped into the gamut when the gamut is known: the red, green,
11901191and blue values must be changed to fall within the range supported by
11911192the device. Users agents may perform higher quality mapping of colors
11921193from one gamut to another. For a typical CRT monitor, whose device
@@ -1206,10 +1207,9 @@ some colors outside the 0..255 sRGB range will be representable
12061207(inside the device gamut), while other colors inside the 0..255 sRGB
12071208range will be outside the device gamut and will thus be mapped.
12081209</p>
1209- <div class=note><p><em><strong>Note.</strong> It is thus not possible
1210- to simply clip all colors to the range 0..255. Clipping (or mapping)
1211- must be done to the actual device gamut, which may be larger or
1212- smaller than 0..255.</em>
1210+ <div class=note><p><em><strong>Note.</strong> Mapping or clipping of
1211+ color values should be done to the actual device gamut if known (which
1212+ may be larger or smaller than 0..255).</em>
12131213</div>
12141214
12151215<h3><a name="strings">Strings</a></h3>
0 commit comments