/* Default highlight */
.ips-highlight {
    background-color: #fff3cd;
    border-bottom: 2px solid #ffeeba;
}

/* Biru untuk istilah teknis */
.ips-blue {
    color: #0d47a1;
    background-color: #e3f2fd;
    border-radius: 3px;
    padding: 0 4px;
    font-weight: bold;
}

/* Merah untuk file .html atau Regex */
.ips-red {
    color: #b71c1c;
    border: 1px solid #ffcdd2;
    background-color: #ffebee;
    padding: 0 4px;
    border-radius: 3px;
    font-family: monospace;
}