.codehilite {
    border-left: solid;
    border-color: #ccc;
}

pre {
    white-space: -moz-pre-wrap; /* Mozilla, supported since 1999 */
    white-space: -pre-wrap; /* Opera */
    white-space: -o-pre-wrap; /* Opera */
    white-space: pre-wrap; /* CSS3 - Text module (Candidate Recommendation) http://www.w3.org/TR/css3-text/#white-space */
    word-wrap: break-word; /* IE 5.5+ */
    font-size: .9rem;
}

.w3-red, .w3-hover-red:hover {
    background-color: #aa281f !important;
}

.w3-text-red, .w3-hover-text-red:hover {
    color: #aa281f !important;
}