/* 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%;
        }
        iframe {
            width: 100%;
            height: 100%;
            border: none;
        }