Yeah, it's an issue with the font. The numbers are actually old-style figures (as opposed to lining figures) and they live in a different Unicode block that doesn't correspond to the usually digits.
I'm not aware of any fix other than modifying the font itself. -- You received this bug notification because you are a member of Ubuntu Manual Bugs, which is subscribed to Ubuntu Manual. https://bugs.launchpad.net/bugs/1241122 Title: Wrong version of Ubuntu in #348 Status in Ubuntu Manual: New Bug description: Hello! /ubuntu-desktop/file-manager.tex :14 still refers to Ubuntu 13.04 instead of 13.10. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-manual/+bug/1241122/+subscriptions _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-manual-bugs Post to : [email protected] Unsubscribe : https://launchpad.net/~ubuntu-manual-bugs More help : https://help.launchpad.net/ListHelp
