body {
  background-color:       #B6BDBD;
  color:                  #000000;
}

/* code blocks */
pre {
  margin-left:            20px;
  margin-right:           20px;
  margin-top:             0px;
  background-color:       white;
  border-style:           solid;
  border-color:           #888A85;
  border-width:           1px;
  font-size:              11pt;
  font-family:            monospace;
}
pre.commandLine {
  background-color:       #2E3436;
  color:                  #C3F097;
}
/* in-line code block */
span.codeBlockInText{
  background-color:       white;
  border-color:           black;
  border-style:           solid;
  border-width:           1px;
  font-size:              11pt;
  font-family:            monospace;
  padding-left:           5px;
  padding-right:          5px;
}
/* code highlighting */
span.structure {
  color:                  #FCAF3E;
  font-weight:            bold;
}
span.primitive {
  color:                  #729FCF;
  font-weight:            bold;
}
span.className {
  color:                  #8AE234;
  font-weight:            bold;
}
span.type {
  color:                  #729FCF;
}
span.value {
  color:                  #C17D11;
}
span.function {
  color:                  #75507B;
}
span.name {
  color:                  #8AE234;
}
span.comment {
  color:                  #888A85;
}