#miniflex {
    width: 100%;
    float: left;
    font-size: small; /* could be specified at a higher level */
    margin: 0;
    padding: 0 10px 0 10px;
    border-bottom: 1px solid #253942;
    }

#miniflex li {
    float: right;
    margin: 0; 
    padding: 0;
    display: inline;
    list-style: none;
    }
    
#miniflex li img {
    float: left;
    margin-right: 5px;
    }

#miniflex a:link, #miniflex a:visited {
    float: left;
    line-height: 20px;
    font-weight: bold;
    margin: 0 10px 0 10px;
    text-decoration: none;
    color: #999;
    }

#miniflex a.default:link, #miniflex a.default:visited{
    border-bottom: 4px solid #999;
    padding-bottom: 2px;
    }

#miniflex a.active:link, #miniflex a.active:visited, #miniflex a:hover, #miniflex a.default:hover {
    border-bottom: 4px solid #253942;
    padding-bottom: 2px;
    color: #253942;
    }