/*
  Style sheet for the HTML documents generated by Pandoc.
  It should be loaded after the ODoc stylesheet.
*/

body {
  margin: 6.5em auto 2.5em auto;
  padding: 0.5em 1.5em;

  /* needs to accommodate 80 monospace characters in a <pre> line */
  max-width: 110ex;
}

pre {
  background-color: #282B2D;
  color: #ededed;
  margin: 10px;
  padding: 10px;
  white-space: pre-wrap;
}

:not(pre) > code {
  background-color: #f6f8fa;
}