.enclosing {
    border: thin gray solid;
    background-color: white;
    margin-left: 0;
}

.author {
    width: 500px;
}

.CodeMirror {
    width: 100%;
    height: 100%;
    border-right: thin gray dotted;
}