| <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> | |
| <html lang="en-US"> | |
| <head> | |
| <title>Test that counter names are case sensitive (bug 416106)</title> | |
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> | |
| </head> | |
| <body> | |
| <div>1-5</div> | |
| <div>1-7</div> | |
| <div>1-7</div> | |
| <div>2-7</div> | |
| <div>2-9</div> | |
| <div>2-9</div> | |
| </body> | |
| </html> |