@charset "UTF-8";
.blue{
background-color:#D7FFFF;
font-weight:bold;
padding:2px;
}

.green{
background-color:#CBDF97;
font-weight:bold;
padding:2px;
}

.pink{
background-color:#ff66ff;
font-weight:bold;
padding:2px;
}

.highlight {
    background: linear-gradient(transparent 90%, #ffff66 0%);
    line-height: 1.3em;
}

.highlight-ao {
    background: linear-gradient(transparent 90%, #E9FAF9 0%);
    line-height: 1.3em;
}

.marker_lime {
background: linear-gradient(transparent 90%, #66FFCC 0%);
}

.marker_water {
background: linear-gradient(transparent 90%, #66ccff 0%);
}

.marker_pink {
background: linear-gradient(transparent 90%, #ff66ff 0%);
}