.udot {
  text-decoration-line: underline;
  text-decoration-color: rgb(50, 50, 50);
  text-decoration-style: dashed;
  text-decoration-thickness: 1px;
}

.good {
    background-color: forestgreen;
    color: lightyellow;
}

.bad {
    background-color: orangered;
    color: lightyellow;
}

.del {
    text-decoration-line: line-through;
    text-decoration-color: rgb(222 13 13);
    text-decoration-style: initial;
    text-decoration-thickness: 1.5px;
}


.todo {
    background-color: darkorange;
    color: lightyellow;
}

.com {
    background-color: #0025ff;
    font-weight: bold;
    color: lightyellow;
}

.add {
    text-decoration-line: underline;
    text-decoration-color: rgb(222 13 13);
    background-color: violet;
    text-decoration-style: initial;
    text-decoration-thickness: 2px;
}


del {
    text-decoration-line: line-through;
    text-decoration-color: rgb(222 13 13);
    text-decoration-style: initial;
    text-decoration-thickness: 1.0px;
}


ins {
    text-decoration-color: rgb(222 93 93);
    background-color: violet;
    text-decoration-style: initial;
    text-decoration-thickness: 2px;
}

.clab {
    background-color: rgb(255, 245, 240);
}

.rem {
    background-color: darkorange;
    color: lightyellow;
    text-decoration-thickness: 2px;
}


#criticnav {
    position: fixed;
    z-index: 1100;
    top: 0;
    right: 0;
    width: 120px;
    border-bottom: solid 1px #ffffff;
    margin: 0;
    padding: 10;
    background-color: rgb(143 38 38 / 95%);
    color: #ffffff;
    font-size: 12px;
    font-family: "Helvetica Neue", helvetica, arial, sans-serif !important
}

#criticnav ul {
    list-style-type: none;
    width: 90%;
    margin: 0 auto;
    padding: 0
}

#criticnav ul li {
    display: block;
    width: 100px;
    min-width: 80px;
    text-align: center;
    padding: 5px 0 3px !important;
    margin: 5px 2px !important;
    line-height: 1em;
    float: center;
    text-transform: uppercase;
    cursor: pointer;
    border-radius: 20px;
    border: 3px solid rgba(255,255,255,0);
    color: #fff !important
}

