/* Custom css to modify Lute's appearance. */
body { font-family: "Times New Roman"; }
div.ui-tooltip {  font-size: 120%; }