-
Notifications
You must be signed in to change notification settings - Fork 790
Expand file tree
/
Copy pathOverview.bs
More file actions
2614 lines (2189 loc) · 107 KB
/
Overview.bs
File metadata and controls
2614 lines (2189 loc) · 107 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<h1>CSS Counter Styles Level 3</h1>
<pre class=metadata>
Shortname: css-counter-styles
Level: 3
Status: ED
Work Status: Testing
Group: csswg
ED: https://drafts.csswg.org/css-counter-styles/
TR: https://www.w3.org/TR/css-counter-styles-3/
Previous Version: https://www.w3.org/TR/2015/CR-css-counter-styles-3-20150611/
Previous Version: https://www.w3.org/TR/2014/WD-css-counter-styles-3-20140826/
Previous Version: https://www.w3.org/TR/2013/WD-css-counter-styles-3-20130718/
Previous Version: https://www.w3.org/TR/2013/WD-css-counter-styles-3-20130221/
Previous Version: https://www.w3.org/TR/2012/WD-css-counter-styles-3-20121009/
Editor: Tab Atkins Jr., Google, http://xanthir.com/contact/
Abstract: This module introduces the ''@counter-style'' rule, which allows authors to define their own custom counter styles for use with CSS list-marker and generated-content counters [[CSS3LIST]]. It also predefines a set of common counter styles, including the ones present in CSS2 and CSS2.1.
Issue Tracking: Bugzilla https://www.w3.org/Bugs/Public/buglist.cgi?product=CSS&component=Counter%20Styles&resolution=---
Link Defaults: css-text-3 (dfn) grapheme cluster, css-pseudo-4 (selector) ::marker, dom-ls (dfn) ASCII case-insensitive
Deadline: 2015-05-03
</pre>
<style>
pre.stylesheet { white-space: pre-wrap; }
code.inline { display: inline-block; }
</style>
<h2 id='intro'>
Introduction</h2>
CSS 1 defined a handful of useful counter styles based on the styles that HTML traditionally allowed on ordered and unordered lists.
While this was expanded slightly by CSS2.1,
it doesn't address the needs of worldwide typography.
This module introduces the ''@counter-style'' rule which allows CSS to address this in an open-ended manner,
by allowing the author to define their own counter styles.
These styles can then be used in the 'list-style-type' property
or in the ''counter()'' and ''counters()'' functions.
It also defines some additional predefined counter styles,
particularly ones which are common but complicated to represent with ''@counter-style''.
<h2 id='counter-styles'>
Counter Styles</h2>
A <dfn export>counter style</dfn> defines how to convert a counter value into a string.
Counter styles are composed of:
<ul>
<li>
a name,
to identify the style
<li>
an algorithm,
which transforms integer counter values into a basic string representation
<li>
a negative sign,
which is prepended or appended to the representation of a negative counter value.
<li>
a prefix,
to prepend to the representation
<li>
a suffix
to append to the representation
<li>
a range,
which limits the values that a counter style handles
<li>
a spoken form,
which describes how to read out the counter style in a speech synthesizer
<li>
and a fallback style,
to render the representation with when the counter value is outside the counter style's range
or the counter style otherwise can't render the counter value
</ul>
When asked to <dfn export lt='generate a counter|generate a counter representation'>generate a counter representation</dfn>
using a particular counter style for a particular counter value,
follow these steps:
<ol>
<li>
If the counter style is unknown,
exit this algorithm and instead <i>generate a counter representation</i>
using the ''decimal'' style and the same counter value.
<li>
If the counter value is outside the 'range' of the counter style,
exit this algorithm and instead <i>generate a counter representation</i>
using the counter style's fallback style and the same counter value.
<li>
Using the counter value and the counter algorithm for the counter style,
generate an <dfn>initial representation for the counter value</dfn>.
If the counter value is negative
and the counter style <i>uses a negative sign</i>,
instead generate an initial representation using the absolute value of the counter value.
<li>
Prepend symbols to the representation as specified in the 'pad' descriptor.
<li>
If the counter value is negative
and the counter style <i>uses a negative sign</i>,
wrap the representation in the counter style's negative sign
as specified in the 'negative' descriptor.
<li>
Return the representation.
</ol>
Note: the prefix and suffix don't play a part in this algorithm.
This is intentional;
the prefix and suffix aren't part of the string returned by the counter() or counters() functions.
Instead, the prefix and suffix are added by the algorithm that constructs the value of the 'content' property
for the ''::marker'' pseudo-element.
This also implies that the prefix and suffix always come from the specified counter-style,
even if the actual representation is constructed by a fallback style.
Some values of 'system' (''symbolic'', ''additive'')
and some descriptors ('pad')
can generate representations with size linear to an author-supplied number.
This can potentially be abused to generate excessively large representations
and consume undue amounts of the user's memory or even hang their browser.
User agents must support representations at least 60 Unicode codepoints long,
but they may choose to instead use the fallback style for representations that would be longer than 60 codepoints.
<!--
███████ ██████ ███████ ██ ██ ██ ██ ████████ ████████ ████████ ██████ ████████ ██ ██ ██ ████████
██ ██ ██ ██ ██ ██ ██ ██ ███ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ███ ██ ██ ██ ██ ██ ██ ████ ██ ██ ██ ██ ██ ██ ██ ████ ██ ██
██ ███ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██████ ████████ ███████ ██████ ██ ██ ██ ██████
██ █████ ██ ██ ██ ██ ██ ██ ████ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ███ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
███████ ██████ ███████ ███████ ██ ██ ██ ████████ ██ ██ ██████ ██ ██ ████████ ████████
-->
<h2 id='the-counter-style-rule'>
Defining Custom Counter Styles: the ''@counter-style'' rule</h2>
The <dfn at-rule>@counter-style</dfn> rule allows authors to define a custom <i>counter style</i>.
The components of a <i>counter style</i> are specified by descriptors in the ''@counter-style'' rule.
The algorithm is specified implicitly by a combination of the ''system'', ''symbols'', and ''additive-symbols'' properties.
The general form of an ''@counter-style'' rule is:
<pre>@counter-style <<counter-style-name>> { <<declaration-list>> }</pre>
where <dfn><counter-style-name></dfn> is a <<custom-ident>>.
If a counter style's name is an <a>ASCII case-insensitive</a> match for "decimal" or "none",
the ''@counter-style'' rule is invalid.
Note: Note that <<custom-ident>> also automatically excludes the <a spec=css-values>CSS-wide keywords</a>.
In addition, some names, like ''inside'',
are valid as counter style names,
but conflict with the existing values of properties like 'list-style',
and so won't be usable there.
Counter style names are case-sensitive.
However, the names defined in this specification are ASCII lower-cased on parse
wherever they are used as counter styles, e.g.
in the 'list-style' set of properties,
in the ''@counter-style'' rule,
and in the ''counter()'' functions.
Each ''@counter-style'' rule specifies a value for every counter-style descriptor,
either implicitly or explicitly.
Those not given explicit value in the rule take the initial value listed with each descriptor in this specification.
These descriptors apply solely within the context of the ''@counter-style'' rule in which they are defined,
and do not apply to document language elements.
There is no notion of which elements the descriptors apply to or whether the values are inherited by child elements.
When a given descriptor occurs multiple times in a given ''@counter-style'' rule,
only the last specified value is used;
all prior values for that descriptor must be ignored.
Defining a ''@counter-style'' makes it available to the entire document in which it is included.
If multiple ''@counter-style'' rules are defined with the same name,
only one wins,
according to standard cascade rules.
''@counter-style'' rules cascade "atomically":
if one replaces another of the same name,
it replaces it <em>entirely</em>,
rather than just replacing the specific descriptors it specifies.
Note: Note that even the predefined counter styles can be overridden;
the UA stylesheet occurs before any other stylesheets,
so the predefined ones always lose in the cascade.
This at-rule conforms with the forward-compatible parsing requirement of CSS;
conformant parsers that don't understand these rules will ignore them without error.
Any descriptors that are not recognized or implemented by a given user agent,
or whose value does not match the grammars given here or in a future version of this specification,
must be ignored in their entirety;
they do not make the ''@counter-style'' rule invalid.
<!--
██████ ██ ██ ██████ ████████ ████████ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ███ ███
██ ████ ██ ██ ██ ████ ████
██████ ██ ██████ ██ ██████ ██ ███ ██
██ ██ █
F882
█ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██
██████ ██ ██████ ██ ████████ ██ ██
-->
<h3 id='counter-style-system'>
Counter algorithms: the 'system' descriptor</h3>
<pre class='descdef'>
Name: system
For: @counter-style
Value: cyclic | numeric | alphabetic | symbolic | additive | <span class=nobr>[fixed <<integer>>?]</span> | <span class=nobr>[ extends <<counter-style-name>> ]</span>
Initial: symbolic
</pre>
The 'system' descriptor specifies which algorithm will be used to construct
the counter's representation based on the counter value. For example,
''cyclic'' counter styles just cycle through their symbols repeatedly,
while <a value for=system>numeric</a> counter styles interpret their symbols as digits and
build their representation accordingly. The systems are defined as follows:
<!--
██████ ██ ██ ██████ ██ ████ ██████
██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ████ ██ ██ ██ ██
██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██
██████ ██ ██████ ████████ ████ ██████
-->
<h4 id="cyclic-system">
Cycling Symbols: the ''cyclic'' system</h4>
The <dfn value for="@counter-style/system">cyclic</dfn> counter system cycles repeatedly through its provided symbols,
looping back to the beginning when it reaches the end of the list.
It can be used for simple bullets
(just provide a single <i>counter symbol</i>),
or for cycling through multiple symbols.
The first <i>counter symbol</i> is used as the representation of the value 1,
the second <i>counter symbol</i> (if it exists) is used as the representation of the value 2, etc.
If the system is ''cyclic'',
the 'symbols' descriptor must contain at least one <i>counter symbol</i>,
or else the ''@counter-style'' rule is invalid.
This system is defined over all counter values.
<div class=example>
A "triangle bullet" counter style can be defined as:
<pre>
@counter-style <dfn noexport>triangle</dfn> {
system: cyclic;
symbols: ‣;
suffix: " ";
}
</pre>
It will then produce lists that look like:
<pre>
‣ One
‣ Two
‣ Three
</pre>
</div>
If there are <var>N</var> <i>counter symbols</i>
and a representation is being constructed for the integer <var>value</var>,
the representation is the <i>counter symbol</i>
at index ( (<var>value</var>-1) mod <var>N</var>)
of the list of <i>counter symbols</i> (0-indexed).
<!--
████████ ████ ██ ██ ████████ ████████
██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██
██████ ██ ███ ██████ ██ ██
██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██
██ ████ ██ ██ ████████ ████████
-->
<h4 id="fixed-system">
Exhaustible Symbols: the ''fixed'' system</h4>
The <dfn value for="@counter-style/system">fixed</dfn> counter system runs through its list of counter symbols once,
then falls back.
It is useful for representing counter styles that only have a finite number of representations.
For example, Unicode defines several limited-length runs of special characters meant for lists,
such as circled digits.
If the system is ''fixed'',
the 'symbols' descriptor must contain at least one <i>counter symbol</i>,
or else the ''@counter-style'' rule is invalid.
This system is defined over counter values in a finite range,
starting with the <i>first symbol value</i> and having a length equal to the length of the list of <i>counter symbols</i>.
When this system is specified,
it may optionally have an integer provided after it,
which sets the <dfn export>first symbol value</dfn>.
If it is omitted, the <i>first symbol value</i> is 1.
<div class=example>
A "box-corner" counter style can be defined as:
<pre>
@counter-style <dfn noexport>box-corner</dfn> {
system: fixed;
symbols: ◰ ◳ ◲ ◱;
suffix: ': ';
}
</pre>
It will then produce lists that look like:
<pre>
◰: One
◳: Two
◲: Three
◱: Four
5: Five
6: Six
</pre>
</div>
The first <i>counter symbol</i> is the representation for the <i>first symbol value</i>,
and subsequent counter values are represented by subsequent <i>counter symbols</i>.
Once the list of <i>counter symbols</i> is exhausted,
further values cannot be represented by this counter style,
and must instead be represented by the fallback counter style.
<!--
██████ ██ ██ ██ ██ ████████ ███████ ██ ████ ██████
██ ██ ██ ██ ███ ███ ██ ██ ██ ██ ██ ██ ██ ██
██ ████ ████ ████ ██ ██ ██ ██ ██ ██ ██
██████ ██ ██ ███ ██ ████████ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██████ ██ ██ ██ ████████ ███████ ████████ ████ ██████
-->
<h4 id="symbolic-system">
Repeating Symbols: the ''symbolic'' system</h4>
The <dfn value for="system">symbolic</dfn> counter system cycles repeatedly through its provided symbols,
doubling, tripling, etc. the symbols on each successive pass through the list.
For example, if the original symbols were "*" and "†",
then on the second pass they would instead be "**" and "††",
while on the third they would be "***"and "†††", etc.
It can be used for footnote-style markers,
and is also sometimes used for alphabetic-style lists for a slightly different presentation than what the <a value for=system>alphabetic</a> system presents.
If the system is ''symbolic'',
the 'symbols' descriptor must contain at least one <i>counter symbol</i>,
or else the ''@counter-style'' rule is invalid.
This system is defined only over strictly positive counter values.
<div class=example>
An "footnote" counter style can be defined as:
<pre>
@counter-style <dfn noexport>footnote</dfn> {
system: symbolic;
symbols: '*' ⁑ † ‡;
suffix: " ";
}
</pre>
It will then produce lists that look like:
<pre>
* One
⁑ Two
† Three
‡ Four
** Five
⁑⁑ Six
</pre>
</div>
<div class=example>
Some style guides mandate a list numbering that looks similar to ''upper-alpha'',
but repeats differently after the first 26 values,
instead going "AA", "BB", "CC", etc.
This can be achieved with the symbolic system:
<pre>
@counter-style <dfn noexport>upper-alpha-legal</dfn> {
system: symbolic;
symbols: A B C D E F G H I J K L M
N O P Q R S T U V W X Y Z;
}
</pre>
This style is identical to ''upper-alpha'' through the first 27 values,
but they diverge after that, with ''upper-alpha'' going "AB", "AC", "AD", etc.
Starting at the 53rd value, ''upper-alpha'' goes "BA", "BB", "BC", etc.,
while this style jumps into triple digits with "AAA", "BBB", "CCC", etc.
</div>
To construct the representation, run the following algorithm:
Let <var>N</var> be the length of the list of <i>counter symbols</i>,
<var>value</var> initially be the counter value,
<var>S</var> initially be the empty string,
and <var>symbol(n)</var> be the nth <i>counter symbol</i> in the list of <i>counter symbols</i> (0-indexed).
<ol>
<li>Let the <var>chosen symbol</var> be <code class='inline'>symbol( (<var>value</var> - 1) mod <var>N</var>)</code>.
<li>Let the <var>representation length</var> be <code class='inline'>ceil( <var>value</var> / <var>N</var> )</code>.
<li>Append the <var>chosen symbol</var> to <var>S</var> a number of times equal to the <var>representation length</var>.
</ol>
Finally, return <var>S</var>.
<!--
███ ██ ████████ ██ ██ ███ ████████ ████████ ████████ ████ ██████
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ████████ █████████ ██ ██ ████████ ██████ ██ ██ ██
█████████ ██ ██ ██ ██ █████████ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ████████ ██ ██ ██ ██ ██ ████████ ████████ ██ ████ ██████
-->
<h4 id="alphabetic-system">
Bijective Numerals: the ''alphabetic'' system</h4>
The <dfn value for="@counter-style/system">alphabetic</dfn> counter system interprets the list of <i>counter symbols</i> as digits to an <em>alphabetic</em> numbering system,
similar to the default ''lower-alpha'' counter style,
which wraps from "a", "b", "c", to "aa", "ab", "ac".
Alphabetic numbering systems do not contain a digit representing 0;
so the first value when a new digit is added is composed solely of the first digit.
Alphabetic numbering systems are commonly used for lists,
and also appear in many spreadsheet programs to number columns.
The first <i>counter symbol</i> in the list is interpreted as the digit 1,
the second as the digit 2,
and so on.
If the system is <a value for=system>alphabetic</a>,
the 'symbols' descriptor must contain at least two <i>counter symbols</i>,
or else the ''@counter-style'' rule is invalid.
This system is defined only over strictly positive counter values.
<div class=example>
A counter style using go stones can be defined as:
<pre>
@counter-style <dfn noexport>go</dfn> {
system: alphabetic;
symbols: url(white.svg) url(black.svg);
suffix: " ";
}
</pre>
It will then produce lists that look like:
<div class='alphabetic-example'>
<span><img src=images/white.svg alt=""></span> One<br>
<span><img src=images/black.svg alt=""></span> Two<br>
<span><img src=images/white.svg alt=""><img src=images/white.svg alt=""></span> Three<br>
<span><img src=images/white.svg alt=""><img src=images/black.svg alt=""></span> Four<br>
<span><img src=images/black.svg alt=""><img src=images/white.svg alt=""></span> Five<br>
<span><img src=images/black.svg alt=""><img src=images/black.svg alt=""></span> Six<br>
<span><img src=images/white.svg alt=""><img src=images/white.svg alt=""><img src=images/white.svg alt=""></span> Seven
</div>
Note: This example requires support for SVG images to display correctly.
</div>
If there are <var>N</var> <i>counter symbols</i>,
the representation is a base <var>N</var> alphabetic number using the <i>counter symbols</i> as digits.
To construct the representation, run the following algorithm:
Let <var>N</var> be the length of the list of <i>counter symbols</i>,
<var>value</var> initially be the counter value,
<var>S</var> initially be the empty string,
and <var>symbol(n)</var> be the nth <i>counter symbol</i> in the list of <i>counter symbols</i> (0-indexed).
While <var>value</var> is not equal to 0:
<ol>
<li>Set <var>value</var> to <code><var>value</var> - 1</code>.
<li>Prepend <var>symbol( <var>value</var> mod <var>N</var> )</var>
to <var>S</var>.
<li>Set <var>value</var> to <code>floor( <var>value</var> / <var>N</var> )</code>.
</ol>
Finally, return <var>S</var>.
<!--
██ ██ ██ ██ ██ ██ ████████ ████████ ████ ██████
███ ██ ██ ██ ███ ███ ██ ██ ██ ██ ██ ██
████ ██ ██ ██ ████ ████ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ███ ██ ██████ ████████ ██ ██
██ ████ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ███ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ███████ ██ ██ ████████ ██ ██ ████ ██████
-->
<h4 id="numeric-system">
Positional Numerals: the ''numeric'' system</h4>
The <dfn value for="@counter-style/system">numeric</dfn> counter system interprets the list of <i>counter symbols</i>
as digits to a "place-value" numbering system,
similar to the default ''decimal'' counter style.
The first <i>counter symbol</i> in the list is interpreted as the digit 0,
the second as the digit 1,
and so on.
If the system is <a value for=system>numeric</a>,
the 'symbols' descriptor must contain at least two <i>counter symbols</i>,
or else the ''@counter-style'' rule is invalid.
This system is defined over all counter values.
<div class=example>
A "trinary" counter style can be defined as:
<pre>
@counter-style <dfn noexport>trinary</dfn> {
system: numeric;
symbols: '0' '1' '2';
}
</pre>
It will then produce lists that look like:
<pre>
1. One
2. Two
10. Three
11. Four
12. Five
20. Six
</pre>
</div>
If there are <var>N</var> <i>counter symbols</i>,
the representation is a base <var>N</var> number using the <i>counter symbols</i> as digits.
To construct the representation, run the following algorithm:
Let <var>N</var> be the length of the list of <i>counter symbols</i>,
<var>value</var> initially be the counter value,
<var>S</var> initially be the empty string,
and <var>symbol(n)</var> be the nth <i>counter symbol</i> in the list of <i>counter symbols</i> (0-indexed).
<ol>
<li>If <var>value</var> is 0, append <code>symbol(0)</code> to
<var>S</var> and return <var>S</var>.
<li>While <var>value</var> is not equal to 0:
<ol>
<li>Prepend <var>symbol( <var>value</var> mod <var>N</var> )</var>
to <var>S</var>.
<li>Set <var>value</var> to <code>floor( <var>value</var> / <var>N</var> )</code>.
</ol>
<li>Return <var>S</var>.
</ol>
<!--
███ ████████ ████████ ████ ████████ ████ ██ ██ ████████
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██████
█████████ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ████████ ████████ ████ ██ ████ ███ ████████
-->
<h4 id="additive-system">
Accumulating Numerals: the ''additive'' system</h4>
The <dfn value for="@counter-style/system">additive</dfn> counter system is used to represent "sign-value" numbering systems,
which, rather than using reusing digits in different positions to change their value,
define additional digits with much larger values,
so that the value of the number can be obtained by adding all the digits together.
This is used in Roman numerals
and other numbering systems around the world.
If the system is ''additive'',
the 'additive-symbols' descriptor must contain at least one <i>additive tuple</i>,
or else the ''@counter-style'' rule is invalid.
This system is nominally defined over all counter values
(see algorithm, below, for exact details).
<div class=example>
A "dice" counter style can be defined as:
<pre>
@counter-style <dfn noexport>dice</dfn> {
system: additive;
additive-symbols: 6 ⚅, 5 ⚄, 4 ⚃, 3 ⚂, 2 ⚁, 1 ⚀;
suffix: " ";
}
</pre>
It will then produce lists that look like:
<pre>
⚀ One
⚁ Two
⚂ Three
...
⚅⚄ Eleven
⚅⚅ Twelve
⚅⚅⚀ Thirteen
</pre>
</div>
To construct the representation, run this algorithm:
Let <var>value</var> initially be the counter value,
<var>S</var> initially be the empty string,
and <var>symbol list</var> initially be the list of <i>additive tuples</i>.
<ol>
<li>If <var>value</var> is initially 0, and there is an <i>additive tuple</i> with a weight of 0, append that tuple's <i>counter symbol</i> to S and return S.
<li>While <var>value</var> is greater than 0 and there are elements left in the <var>symbol list</var>:
<ol>
<li>Pop the first <i>additive tuple</i> from the <var>symbol list</var>.
This is the <dfn>current tuple</dfn>.
<li>Append the <i>current tuple</i>’s <i>counter symbol</i> to <var>S</var>
<code>floor( <var>value</var> / <var><i>current tuple</i>’s weight</var> )</code>
times (this may be 0).
<li>Decrement <var>value</var> by the <var><i>current tuple</i>’s weight</var> multiplied
by the number of times the <i>current tuple</i> was appended to <var>S</var>
in the previous step.
</ol>
<li>If the loop ended because <var>value</var> is 0, return S. Otherwise, the given counter value cannot be represented by this counter style, and must instead be represented by the fallback counter style.
</ol>
Note: All of the predefined additive ''@counter-style'' rules in this specification
produce representations for every value in their range,
but it's possible to produce values for ''additive-symbols'' that will fail to find a representation
with the algorithm defined above,
even though theoretically a representation could be found.
For example, if a ''@counter-style'' was defined with ''additive-symbols: 3 "a", 2 "b";'',
the algorithm defined above will fail to find a representation for a counter value of 4,
even though theoretically a "bb" representation would work.
While unfortunate, this is required to maintain the property that the algorithm runs in linear time
relative to the size of the counter value.
<!--
████████ ██ ██ ████████ ████████ ██ ██ ████████ ██████
██ ██ ██ ██ ██ ███ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ████ ██ ██ ██ ██
██████ ███ ██ ██████ ██ ██ ██ ██ ██ ██████
██ ██ ██ ██ ██ ██ ████ ██ ██ ██
██ ██ ██ ██ ██ ██ ███ ██ ██ ██ ██
████████ ██ ██ ██ ████████ ██ ██ ████████ ██████
-->
<h4 id="extends-system">
Building from Existing Counter Styles: the ''extends'' system
<span id='override-system'></span></h4>
The <dfn value for="@counter-style/system">extends</dfn> system allows an author to use the algorithm of another counter style,
but alter other aspects,
such as the negative sign or the suffix.
If a counter style uses the ''extends'' system,
any unspecified descriptors must be taken from the extended counter style specified,
rather than taking their initial values.
If a @counter-style uses the ''extends'' system,
it must not contain a 'symbols' or 'additive-symbols' descriptor,
or else the ''@counter-style'' rule is invalid.
If the specified counter style name isn't the name of any currently-defined counter style,
it must be treated as if it was extending the ''decimal'' counter style.
If one or more ''@counter-style'' rules form a cycle with their ''extends'' values,
all of the counter styles participating in the cycle
must be treated as if they were extending the ''decimal'' counter style instead.
<div class='example'>
For example, if you wanted a counter style that was identical to decimal,
but used a parenthesis rather than a period after it, like:
<pre>
1) first item
2) second item
3) third item
</pre>
Rather than writing up an entirely new counter style,
this can be done by just extending ''decimal'':
<pre>
@counter-style decimal-paren {
system: extends decimal;
suffix: ") ";
}
</pre>
</div>
<!--
██ ██ ████████ ██████ ███ ████████ ████ ██ ██ ████████
███ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
████ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██████ ██ ████ ██ ██ ██ ██ ██ ██ ██████
██ ████ ██ ██ ██ █████████ ██ ██ ██ ██ ██
██ ███ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ████████ ██████ ██ ██ ██ ████ ███ ████████
-->
<h3 id='counter-style-negative'>
Formatting negative values: the 'negative' descriptor</h3>
<pre class='descdef'>
Name: negative
For: @counter-style
Value: <<symbol>> <<symbol>>?
Initial: "\2D" ("-" hyphen-minus)
</pre>
The 'negative' descriptor defines how to alter the representation when
the counter value is negative.
The first <<symbol>> in the value is prepended to the representation when the
counter value is negative. The second <<symbol>>, if specified, is appended
to the representation when the counter value is negative.
<div class='example'>
For example, specifying ''negative: "(" ")";'' will make negative
values be wrapped in parentheses, which is sometimes used in financial
contexts, like "(2) (1) 0 1 2 3...".
</div>
Not all 'system' values use a negative sign.
In particular, a counter style <dfn export lt="use a negative sign|uses a negative sign">uses a negative sign</dfn>
if its 'system' value is
''symbolic'',
''system/alphabetic'',
''system/numeric'',
''additive'',
or ''extends'' if the extended counter style itself <a>uses a negative sign</a>.
If a counter style does not <a>use a negative sign</a>,
it ignores the negative sign when <a lt="generate a counter representation">generating a counter representation</a>.
<!--
████████ ████████ ████████ ████████ ████ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██
████████ ████████ ██████ ██████ ██ ███
██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ████████ ██ ████ ██ ██
-->
<h3 id='counter-style-prefix'>
Symbols before the marker: the 'prefix' descriptor</h3>
<pre class='descdef'>
Name: prefix
For: @counter-style
Value: <<symbol>>
Initial: "" (the empty string)
</pre>
The 'prefix' descriptor specifies a <<symbol>> that is prepended to the
marker representation. Prefixes are only added by the algorithm for constructing
the default contents of the ''::marker'' pseudo-element; the prefix is not
added automatically when the counter() or counters() functions are used.
Prefixes come before any negative sign.
<!--
██████ ██ ██ ████████ ████████ ████ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██
██████ ██ ██ ██████ ██████ ██ ███
██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██
██████ ███████ ██ ██ ████ ██ ██
-->
<h3 id='counter-style-suffix'>
Symbols after the marker: the 'suffix' descriptor</h3>
<pre class='descdef'>
Name: suffix
For: @counter-style
Value: <<symbol>>
Initial: "\2E\20" ("." full stop followed by a space)
</pre>
The 'suffix' descriptor specifies a <<symbol>> that is appended to the
marker representation. Suffixes are only added by the algorithm for constructing
the default contents of the ''::marker'' pseudo-element; the suffix is not
added automatically when the counter() or counters() functions are used.
Suffixes are added to the representation after negative signs.
<!--
████████ ███ ██ ██ ██████ ████████
██ ██ ██ ██ ███ ██ ██ ██ ██
██ ██ ██ ██ ████ ██ ██ ██
████████ ██ ██ ██ ██ ██ ██ ████ ██████
██ ██ █████████ ██ ████ ██ ██ ██
██ ██ ██ ██ ██ ███ ██ ██ ██
██ ██ ██ ██ ██ ██ ██████ ████████
-->
<h3 id='counter-style-range'>
Limiting the counter scope: the 'range' descriptor</h3>
<pre class='descdef'>
Name: range
For: @counter-style
Value: [ [ <<integer>> | infinite ]{2} ]# | auto
Initial: auto
</pre>
The 'range' descriptor defines the ranges over which the counter style is defined.
If a counter style is used to represent a counter value outside of its ranges,
the counter style instead drops down to its fallback counter style.
<dl dfn-for="@counter-style/range">
<dt><dfn value>auto</dfn>
<dd>
The range depends on the counter system:
<ul>
<li>
For ''cyclic'', <a value for=system>numeric</a>, and ''fixed'' systems,
the range is negative infinity to positive infinity.
<li>
For <a value for=system>alphabetic</a> and ''symbolic'' systems,
the range is 1 to positive infinity.
<li>
For ''additive'' systems,
the range is 0 to positive infinity.
<li>
For ''extends'' systems,
the range is whatever ''range/auto'' would produce for the extended system;
if extending a complex predefined style (<a section href="#complex-predefined-counters"></a>),
the range is the style's defined range.
</ul>
<dt>[ [ <<integer>> | infinite ]{2} ]#
<dd>
This defines a comma-separated list of ranges.
For each individual range,
the first value is the lower bound
and the second value is the upper bound.
This range is inclusive - it contains both the lower and upper bound numbers.
If ''infinite'' is used as the first value in a range,
it represents negative infinity;
if used as the second value,
it represents positive infinity.
The range of the counter style is the union of all the ranges defined in the list.
If the lower bound of any range is higher than the upper bound,
the entire descriptor is invalid and must be ignored.
</dl>
Implementations must support ranges with a lower bound of at least -2<sup>15</sup>
and an upper bound of at least 2<sup>15</sup>-1
(the range of a signed 2-byte int).
They may support higher ranges.
If any specified bound is outside of the implementation's supported bounds,
it must be treated as the closest bound that the implementation does support.
<!--
████████ ███ ████████
██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██
████████ ██ ██ ██ ██
██ █████████ ██ ██
██ ██ ██ ██ ██
██ ██ ██ ████████
-->
<h3 id='counter-style-pad'>
Zero-Padding and Constant-Width Representations: the 'pad' descriptor</h3>
<pre class='descdef'>
Name: pad
For: @counter-style
Value: <<integer>> && <<symbol>>
Initial: 0 ""
</pre>
The 'pad' descriptor allows an author to specify a "fixed-width" counter style,
where representations shorter than the pad value are padded with a particular <<symbol>>.
Representations larger than the specified pad value are constructed as normal.
<dl>
<dt><<integer>> && <<symbol>>
<dd>
The <<integer>> specifies a minimum length that all counter representations must reach.
Let <var>difference</var> be the provided <<integer>>
minus the number of <a>grapheme clusters</a> in the <a>initial representation for the counter value</a>.
<span class='note'>(Note that, per the algorithm to <a>generate a counter representation</a>,
this occurs before adding prefixes/suffixes/negatives.)</span>
If the counter value is negative
and the counter style <i>uses a negative sign</i>,
further reduce <var>difference</var>
by the number of <a>grapheme clusters</a> in the counter style’s 'negative' descriptor’s <<symbol>>(s).
If <var>difference</var> is greater than zero,
prepend <var>difference</var> copies of the specified <<symbol>> to the representation.
The <<integer>> must be non-negative.
A negative value is a syntax error.
</dl>
<div class='example'>
The most common example of "fixed-width" numbering is zero-padded decimal numbering.
If an author knows that the numbers used will be less than a thousand, for example,
it can be zero-padded with a simple ''pad: 3 "0";'' descriptor,
ensuring that all of the representations are 3 digits wide.
This will cause, for example,
1 to be represented as "001",
20 to be represented as "020",
300 to be represented as "300",
4000 to be represented as "4000",
and -5 to be represented as "-05".
</div>
Note: The 'pad' descriptor counts the number of <a>grapheme clusters</a> in the representation,
but pads it with <<symbol>>s.
If the specified 'pad' <<symbol>> is multi-character,
this will likely not have the desired effect.
Unfortunately, there's no way to use the number of <a>grapheme clusters</a> in the 'pad' <<symbol>>
without violating useful constraints.
It is recommended that authors only specify <<symbol>>s of a single <a>grapheme cluster</a>
in the 'pad' descriptor.
<!--
████████ ███ ██ ██ ████████ ███ ██████ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██████ ██ ██ ██ ██ ████████ ██ ██ ██ █████
██ █████████ ██ ██ ██ ██ █████████ ██ ██ ██
██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██ ██
██ ██ ██ ████████ ████████ ████████ ██ ██ ██████ ██ ██
-->
<h3 id='counter-style-fallback'>
Defining fallback: the 'fallback' descriptor</h3>
<pre class='descdef'>
Name: fallback
For: @counter-style
Value: <<counter-style-name>>
Initial: decimal
</pre>
The 'fallback' descriptor specifies a fallback counter style to be used
when the current counter style can't create a representation for a given
counter value. For example, if a counter style defined with a range of 1-10
is asked to represent a counter value of 11, the counter value's representation
is instead constructed with the fallback counter style (or possibly the
fallback style's fallback style, if the fallback style can't represent that
value, etc.).
If the value of the 'fallback' descriptor isn't the name of any
currently-defined counter style, the used value of the 'fallback' descriptor
is ''decimal'' instead. Similarly, while following fallbacks to find
a counter style that can render the given counter value, if a loop in the
specified fallbacks is detected, the ''decimal'' style must be used instead.
<p class='note'>Note that it is not necessarily an error to specify fallback
loops. For example, if an author desires a counter style with significantly
different representations for even and odd counter values, they may find it
easiest to define one style that can only represent odd values and one that
can only represent even values, and specify each as the fallback for the
other one. Though the fallback graph is circular, at no point do you encounter
a loop while following these fallbacks - every counter value is represented
by one or the other counter style.
<!--
██████ ██ ██ ██ ██ ████████ ███████ ██ ██████
██ ██ ██ ██ ███ ███ ██ ██ ██ ██ ██ ██ ██
██ ████ ████ ████ ██ ██ ██ ██ ██ ██