/* CSS for Help*/

.highlight {
    color: red;
    font-weight: bold;
}