/* @option user-defined banner hide */
#header{padding-bottom: 0;}
#banner{display: none;}