Brett on 22 Aug, 2017 02:04 PM
I've tried a few different settings and my PDF always comes out like the
attached (with 1.2 properly numbered). If you want to test further, I'd
need the output of Help->Report an Issue so I can see if there's a
particular setting that might be throwing it off for you.
Brett on 23 Aug, 2017 05:08 PM
Forget that question, it works for me either way. I'm really uncertain why you're running into this. One thing I'd have you try is going to the gear menu and turning outline mode on to Decimal format. Then use a default style and try exporting and see if counters work at that point.
Also, if you export HTML (and be sure to check the box to include the stylesheet in the save panel), then open in a browser and print to PDF, does the resulting PDF maintain the count properly?