/*
    This file won't be overwritten by updates, so you can put custom code here.
*/


/* Customization start -- do not edit this section */
/* bb7f17a475d5e1fd67cfc824ba9ee4e8 */ header { background-color: #12345e; }
/* Customization end */