tree 50e2ae5380986d2778e60d660ad9fa89d53a3223
parent a0e8db09acfe85db8e93c2bafd4d9e1d9b7d649c
author Dave Rodgman <dave.rodgman@arm.com> 1624998718 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1625042042 +0100

Add formatting codes to level 3 headings

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>