body {
  background: #f0f0f0;
  margin: 0 0 5rem 0;
  padding: 0; }

main, header {
  margin: 0 auto;
  max-width: 800px;
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
  box-sizing: border-box; }
  @media all and (max-width: 800px) {
    main, header {
      margin: 0 0.5rem;
      max-width: 100%;
      line-height: 150%;
      font-size: 1rem; } }

.wide main, .wide header {
  max-width: 100%;
  margin: 0 1rem; }

header h1 {
  font-size: 1.5rem; }

code, pre {
  font-size: 1rem;
  color: #725794; }
  @media all and (max-width: 800px) {
    code, pre {
      font-weight: 900;
      font-size: 0.9rem; } }

code {
  background: #fff;
  border-radius: 3px;
  padding: 0 5px; }

pre {
  background: #e0e0e0;
  background: #fff;
  padding: 0.2rem 0.5rem;
  border-radius: 5px;
  overflow-x: auto; }
  @media all and (max-width: 800px) {
    pre {
      margin-left: -0.5rem;
      margin-right: -0.5rem;
      margin-bottom: 2rem;
      border-radius: 0;
      padding: 0.7rem 0.9rem; } }

ul {
  margin-left: 1rem;
  padding-left: 0; }
  ul li {
    margin-bottom: 0.5rem; }
    ul li ul {
      margin-top: 0.5rem; }

/*# sourceMappingURL=styles.css.map */