/* i stole the colors from gruvbox */

body {
  font-family: mono;
  background: #32302f;
  color: #f2e5bc;
  max-width: 90ch;
  margin: auto;
}

h2 {
  margin: 0;
  background: #b16286;
}

a { color: #83a598 }


.sol {
  margin: 1ch;
  background: #504945;
  padding: .3em;
  box-shadow: .2em .2em .2em #0005;
}

pre {
  border-left: 1px solid;
  padding-left: .5em;
  margin: .5em 0 .5em;
  font-family: mono;
  overflow: auto;
}

.sol .source {
  margin: 0;
  text-align: right;
  font-style: italic;
}

header {
  background: #504945;
  padding: .3em 2ch .3em 2ch;
}

header a {color: #f2e5bc}

header a:last-child {
  float: right;
}