  /* Set editor dimensions */
  #editor {
    height: 400px;
  
}

/* Stretch editor to fit inside its containing div */
.cm-editor {
    height: 100%;
    width: 100%;
}
 /* header */
 nav {
    background-color: burlywood!;
}
