/** 
 * theming styles
 * 
 */

#header {
    background: white;
    color: black;
}

#header #branding h1 {
    margin: 0;
    padding: 5px 10px;
    text-indent: -9999px;
    background: transparent url(../../img/logo.png) 10px 5px no-repeat;
    height: 49px;
    width: 289px;
}

div.breadcrumbs {
    display: block;
    padding: 10px 15px;
    border: 0;
    background-position: 0 -8px;
    border-bottom: 1px solid #ededed;
}

div.breadcrumbs a {
    display: inline;
}

#user-tools {
    color: black;
}
    #header #user-tools a {
        color: #a80000;    
    }