.highlighted {
    font-weight:bold;
}