/* @option user-defined banner hide */
#header{display: none;}
#content {padding: 30px !important;}