/* Extracted from index.html. Loaded in the same position the inline
   <style> occupied, so the cascade is unchanged. */
        * {
            margin: 0;
            padding: 0;
        }
        html, body {
            width: 100%;
            height: 100%;
            overflow: hidden;
        }
        iframe {
            width: 100%;
            height: 100%;
            border: none;
            /* Without this the iframe is inline and sits on the text baseline,
               leaving a few px of descender space below it — enough to push a
               scrollbar onto the page. */
            display: block;
        }