a.paper_download img {
  float: left;
  margin-right: 5px;
}
ol {
  font-size: 90%;
}
.toc ol {
  font-size: 100%;
}
.toggleable {
  font-size: 88%;
}