What is the best method to minimize the header or mast-head containing the logo when the user scrolls down? Should I just alter the CSS in the options panel, or do I have to also alter the functions.php code in the editor as well?