<script type="text/javascript" src="js/remoteglot.min.js"></script>
-->
</head>
-<body>
+<body style="opacity: 0"> <!-- Avoid layout shift on initial load. -->
<audio id="ding" preload="none">
<source src="ding.opus" type="audio/ogg; codecs=opus" />
<source src="ding.mp3" type="audio/mp3" />
current_analysis_request_timer = setTimeout(function() { request_update(); }, timeout);
}
}).fail(function(jqXHR, textStatus, errorThrown) {
+ document.body.style.opacity = null;
if (textStatus === "abort") {
// Aborted because we are switching backends. Abandon and don't retry,
// because another one is already started for us.
/** Update all the HTML on the page, based on current global state.
*/
var update_board = function() {
+ document.body.style.opacity = null;
+
var data = displayed_analysis_data || current_analysis_data;
var current_data = current_analysis_data; // Convenience alias.