/* editor.css */

.cmd-file {
  background-color: #fff0f0;
  padding: 4px;
  border-right: 1px solid #e0c0c0;
  border-bottom: 1px solid #e0c0c0;
}