What is the headspace for pickled carrots?

HOW TO MAKE PERFECT PORTUGUESE MARINATED CARROTS

One of my favorite ways to enjoy and prepare carrots is by boiling them and marinating them the Portuguese way. ...