/* THE ONE GLOBAL RULE -- see index.html for why it is a file and not a
   <style> block (the console's CSP is style-src 'self'). */
html,
body {
  margin: 0;
  padding: 0;
}