/* core_htmlWidget 8.15.8 2018-01-31T16:50:56+00:00 844816397c7d (hotfix/8.15.8) */
.html-widget-config var{font-style:normal;font-weight:700;font-family:monospace}.html-widget-text{margin-bottom:0}div[c8y-html-widget] *{-webkit-transition:none;transition:none}div[c8y-html-widget] .reloading{background-color:#ffffe0}