<!DOCTYPE html>
<html>
  <head>
    <meta charset="UTF-8">
    <title>Vizier</title>
  </head>
  <body>
    <!-- Dependencies -->
    <link rel="stylesheet" href="./vizier/ui/vendor/codemirror.css"/>
    <script type="text/javascript" src="./vizier/ui/vendor/codemirror.js"></script>
    <script type="text/javascript" src="./vizier/ui/vendor/codemirror-clike.js"></script>
    <script type="text/javascript" src="./vizier/ui/vendor/codemirror-python.js"></script>
    <script type="text/javascript" src="./vizie