pen" type="button">Open</button>
        <button class = "bottom_button" id = "preferences" type="button">Preferences</button>
        <button class = "bottom_button" id = "connect" type="button">Connect</button>
        <div id = "connect_to_server">
            <div><label for="server">Server: </label><input type="text" name="server" id="server"></div>
            <div><label for="pass">Password: </label><input type="password" name="pass" id="pass"></div>
        </div>
        <button id = "new_version" 