So, for a non-programming-guy like me (hence my decision to use WordPress), what’s the easiest way to recreate that outcome? What code would I need to put in the header.php file?

I’m assuming the syntax to use do_shortcode is”
echo do_shortcode('[whatever_my_shortcode_is]');

But how do I put a div in the header?