<!script for adjusting header height>