Footnotes: Shortened class names and ids as described in #3286 (with a few tweaks)