/* highlight a textblock by mouse-hovering it, used by CMS View mode */
.outline-lightgray-hover:hover {
    outline: lightgray 1px dashed;
}

.app-gui-highlight {
    background-color: blue;
    color: white;
    font-weight: bold;
    text-decoration: underline;
}