/**
 * theming styles
 *
 */

#bookmark-form {
    float: left;
}

#navigation-menu {
    float: left;
}

#header #branding h1 {
    color: white;
    float: left;
}

#navigation-menu li {
    line-height: 16px;
    font-size: 13px;
}

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

div.breadcrumbs a {
    display: inline;
}

button.update_module {
    margin-right: 20px;
}