/* #turtleview {
    background-color: rgb(0, 38, 255);
    /* width: 640px;
    height: 348px; */
}

#workspaceform {
    padding: 0px;
    margin: 0px;
}

#errorbox {
    display: none;
}
 */