#description p code {
  padding-left: 3px;
  padding-right: 3px;
  padding-top: 1px;
  padding-bottom: 1px;
  border-radius: 5px;
  background-color: whitesmoke;
}

#description pre {
  padding: 1em;
/*  min-width: 50%;*/
  border-radius: 5px;
  background-color: whitesmoke;
/*  display: inline-block;*/
}

.cm-matchhighlight {background-color: aqua}

.CodeMirror {
    height: auto;
}

.CodeMirror-hints {
  position: absolute;
  z-index: 10;
  overflow: hidden;
  list-style: none;

  margin: 0;
  padding: 2px;

  -webkit-box-shadow: 2px 3px 5px rgba(0,0,0,.2);
  -moz-box-shadow: 2px 3px 5px rgba(0,0,0,.2);
  box-shadow: 2px 3px 5px rgba(0,0,0,.2);
  border-radius: 3px;
  border: 1px solid silver;

  background: white;
  font-size: 90%;
  font-family: monospace;

  max-height: 20em;
  overflow-y: auto;
}

.CodeMirror-hint {
  margin: 0;
  padding: 0 4px;
  border-radius: 2px;
  white-space: pre;
  color: black;
  cursor: pointer;
}

li.CodeMirror-hint-active {
  background: #08f;
  color: white;
}

.NetlogoEditor-highlighted-background {
  background-color: #E8FFB2;
}

.NetlogoEditor-disabled-background {
  background-color: rgb(220, 220, 220);