Bug 1259080 Index numbers not printed in some themes