/*
 * Definiciones (site/definitions.php).
 */
.header .header-inner {
    background-color: black !important;
}

#list-vertical > .active > a {
    background-color: #23527c !important;
    border-color: #23527c !important;
    color: white !important;
}

/* Links del menú lateral (antes: font-size:medium inline x11) */
#list-vertical a {
    font-size: medium;
}