/*----- Alert - tip, with or without "i" icon -----*/

.alert-tip {
    border-left: 5px solid #355997;
    background-color: #ddf4fb;
    padding: 10px 15px 10px 15px;
    margin: 10px 0 20px 0;
    color: #666;
}
.alert-tip .col-sm-11 {padding-left: 25px;}

/*----- Alert - translations -----*/

.alert-translations p {margin-top:15px;}
.alert-translations p a {font-weight: bold;}
.alert-translations hr {margin: 10px 0;}
.alert-translations .fa {font: normal normal normal 14px/1 FontAwesome;}
.alert-translations .fa-2x {font-size: 2em;}

ul.translation__list {
    list-style: none;
    padding: 0;
    display: inline;
}
ul.translation__list > li {
    display: inline-block;
    padding-left: 0;
    margin: 0 0 5px 0;
}
ul.translation__list > li::after {
    content: "|";
    margin-left: 10px;
    color: #bbb;
}
ul.translation__list > li:last-child:after {
    content: "";
    margin: 0;
}