/* CSS-Stylesheet (UM): jquery.highlight.css @ 2023-08-10 10:37:29 +0000 */
.jqtxthighlight{background-color:#fc0}
/* #END */