This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| topics:custom-ident-case-sensitivity [2012/07/23 17:59] – [Data entry] fantasai | topics:custom-ident-case-sensitivity [2012/10/29 03:45] – fantasai | ||
|---|---|---|---|
| Line 35: | Line 35: | ||
| - @counter-style names are always case-insensitive | - @counter-style names are always case-insensitive | ||
| - via Unicode case-folding | - via Unicode case-folding | ||
| - | | + | - via ASCII case-insensitivity |
| + | - via Unicode lowercasing | ||
| + | - Something else? | ||
| - @counter-style names are always case-sensitive; | - @counter-style names are always case-sensitive; | ||
| - @counter-style names are case-sensitive, | - @counter-style names are case-sensitive, | ||