code {
  font-family: monospace;
  color: #226078; 
  font-size: 16px;
}

h3 code {
  font-size: 20px;
}

.code-snippet {
  border: 1px solid silver;
  font-size: 14px;
  padding: 1em;
  margin-top: 24px;
  margin-bottom: 24px;
}

.code-snippet code {
  background-color: transparent; 
  color: black; 
  font-size: 14px;
}

.code-snippet .s { 
  background-color: snow; 
}

.code-snippet .s .k { 
  color: #B22222; 
}

#article {
  padding-bottom: 24px;
  margin-bottom: 48px;
  border-bottom: silver 1px solid;
}

#article .box {
  font-size: 16px;
  margin-top: 24px;
  margin-bottom: 24px;
}

#article h2 {
  margin-top: 48px;
}

#article h3 {
  margin-top: 24px;
  font-size: 20px;
}

#article .box h3 {
  margin-top: 12px;
}

#article .toc {
  width: 250px;
  margin-left: 24px;
  margin-top: 48px;
  float: right;
}

#article ul li {
  margin-left: 2em;
}

#article .toc ul li {
  margin-left: 1em;
}

#article p {
  margin-bottom: 0;
  margin-top: 24px;
}

#article .box p {
  margin-top: 0px;
}

.flattr-button {
  float: right;
}