I’m using Quarto, with HTML output and I need to know: Is there any way to remove the green part, at the left of the word “Proof”?