Scrivener formatting hack: Scrivener 3.0 uses formatting categories instead of levels