[BUGFIX] Adjust headline decoration in documentation file