/* Styles for top menu.
-----------------------------------------------------------*/
.menu {
    color: White;
    font-size: 1em;
    -webkit-text-size-adjust: 100%;
    -ms-text-size-adjust: 100%;
}
.menu ul {
    margin: 0;
    padding: 0;
    list-style: none;
}
.menu li {
    /* WP7: float:left must be at li level, NOT at li A level! */
    float: left;
}
.menu li A {
    display: block;
    text-decoration: none;
    padding: .4em .5em .4em .5em;
    border: 1px solid #711515;
}
.menu li A:hover, .menu .selected A {
    color: White;
    background-color: #711515;
}
.menu .selected A:hover {
    background-color: #B51032;
}
.top-menu li A {
    color: White;
    background-color: #B51032;
}
.sub-menu li A {
    color: #711515;
    background-color: #ED9F9F;
}
/* Insert a Div with a menu-level-break to make sure next level and items after menu are not moved to the left of the menu */
.menu-level-break {
    clear: left;
}