@charset "UTF-8";

.highlight {
    background-color: yellow;
    font-weight: bold;
}

.redborder {
    border: 2px solid 	#483D8B;
    background-color: 	#F0E68C;
    color: white;
}