/* @option user-defined banner hide */
#header{height: auto;}
#myExtraContent1, #myExtraContent2{display: none;}