/* extra.css */
.highlight-text {
    color: #6865ff;
    font-weight: bold;
}