body {
  font-size: 12px;
  line-height: 16px;
}

h1 {
  font-size: 26px;
}

h1 small {
  font-size: 20px;
}

h2 {
  font-size: 20px;
}

h1, h2 {
  line-height: 30px;
}

h3 {
  font-size: 17px;
  font-style: italic;
  line-height: 24px;
}

pre.literal-block {
  font-size: 11px;
}

div.highlight pre {
  font-size: 11px;
}

.page_header h1 {
  font-size: 2.4em;
}

div.figure img {
  width: auto;
}

.article-content img {
  border: none;
}

.twitter-share-button {
  vertical-align: middle;
}

/* Fix repeated title for the table of contents */
div#contents p.topic-title.first {
  display: none;
}