/* The docs site, in the website's clothes: the same paper tones, the same
   Arial body, the same mono stack and rule colour. The website is
   ../moggi-website/style.css — keep the two in step when either changes. */

body {
  margin: 2.5em auto 4em;
  max-width: 46em;
  padding: 0 1.25em;
  background: #f7f3e8;
  color: #1c1a16;
  font: 15px/1.6 Arial, Helvetica, sans-serif;
}

a { color: #0000cc; }
a:visited { color: #551a8b; }

.brand {
  margin: 0 0 0.2em;
  font-size: 2em;
  display: flex;
  align-items: center;
}

.brand a {
  color: inherit;
  text-decoration: none;
}

.brand .logo {
  vertical-align: center;
  margin-right: 0.4em;
}

.brand-note {
  margin-left: 0.6em;
  color: #5a5346;
  font-size: 0.5em;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  margin-top: 5px;
}

.nav {
  margin: 0 0 1em;
  font-size: 0.95em;
}

main { display: block; }

h1, h2, h3, h4 {
  line-height: 1.25;
}

h1 {
  margin: 1.6em 0 0.5em;
  font-size: 1.6em;
}

h2 {
  margin: 1.8em 0 0.5em;
  font-size: 1.15em;
}

h3 {
  margin: 1.4em 0 0.4em;
  font-size: 1em;
}

h4 {
  margin: 1.2em 0 0.3em;
  font-size: 1em;
  font-style: italic;
}

p, li, dd, dt { margin: 0.6em 0; }

dl { margin: 0.6em 0; }
dt { font-weight: bold; margin-top: 0.9em; }
dd { margin: 0.15em 0 0 1.6em; }

ul, ol { padding-left: 1.6em; }

code, pre {
  font: 13px/1.5 "DejaVu Sans Mono", Menlo, Consolas, monospace;
}

code { background: #efe8d8; padding: 0 0.15em; }

pre {
  margin: 0.8em 0;
  padding: 0.7em 0.9em;
  background: #f1ebdd;
  border: 1px solid #c8bfa9;
  overflow-x: auto;
}

pre code { background: none; padding: 0; }

blockquote {
  margin: 0.9em 0;
  padding: 0.1em 1em;
  border-left: 3px solid #c8bfa9;
  color: #4a4438;
}

table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.95em;
  display: block;
  overflow-x: auto;
}

th, td {
  padding: 0.3em 0.6em;
  border: 1px solid #c8bfa9;
  text-align: left;
  vertical-align: top;
}

th { background: #ece5d5; }

hr {
  margin: 1.8em 0;
  border: 0;
  border-top: 1px solid #c8bfa9;
}

img { max-width: 100%; }

.note {
  color: #5a5346;
  font-size: 0.9em;
}

@media (max-width: 34em) {
  body { font-size: 14px; }
  .brand { font-size: 1.6em; }
  .brand-note { display: none; }
}