Successfully merging a pull request may close this issue.
Currently, the main text font size is 11pt, subscript font size is (11 * 0.71) = 7.81pt. (just for info, for 9pt subscripted text, the main font size should be 12.7pt) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results