body {
  margin: 40px auto;
  max-width: 650px;
  padding: 0 10px;
}
code {
   	font-size: 8pt;
	font-family: monospace;
}