  <!-- Disco styles. Order matters! -->
    <link rel="stylesheet" href="lib/font-awesome/css/font-awesome.min.css">
    <link rel="stylesheet" href="lib/bulma.css">    
    <link rel="stylesheet" href="css/Disco_generated.css">

    <!-- Serialization -->
    <script src="../js/Core_generated.js"></script>
    <script src="../js/Api_generated.js"></script>
    <script src="../js/Raft_generated.js"></script>
  </head>
  <body>
    <div id="app-container"></div>
    <div id="disco-drag-image"></div>
    <scr