/* Addition for side scroll */
.highlight pre code * {
  white-space: nowrap;    // this sets all children inside to nowrap
}

.highlight pre {
  overflow-x: auto;       // this sets the scrolling in x
}

.highlight pre code {
  white-space: pre;       // forces <code> to respect <pre> formatting
}

.highlight pre {
  word-wrap: normal;
}

/* Greyer pre */
pre {
  background-color: #eeeeee;
}

/* Greyer body */
body {
  background-color: #f8f8f8;
}

/* Greyer message */
.message {
  background-color: #eeeeee;
}

/* greyer hr */
hr {
  border-top: 1px solid #ddd;
}