Tweaked format of role=application from <mark> to <code>