/* @option user-defined banner image none */
#header{background-image: none;}