#asterisk colour #footnote colour #warning colour #red asterisk #marked colour #exception colour