/* alias_style.css */

.u_red {
    /* text-decoration: underline;
       text-decoration-color: red;
       text-decoration-style: wavy; */
    background-color: LightPink;
}

.u_green {
    /* text-decoration: underline;
       text-decoration-color: lime; */
    background-color: LawnGreen;
}

.u_yellow {
    /* text-decoration: underline dotted;
       text-decoration-color: aqua; */
    background-color: LightYellow;
}