.run-in {
    color: #2a8bcb; font-style: italic;;
}

.red-text {
    color: #ed0707;;
}

.bold {
    font-weight: bold;;
}

.source {
    color: #2a8bcb; font-weight: bold;;
}