research/papers.css

   1 a.paper_download img {
   2   float: left;
   3   margin-right: 5px;
   4 }
   5 ol {
   6   font-size: 90%;
   7 }
   8 .toc ol {
   9   font-size: 100%;
  10 }
  11 .toggleable {
  12   font-size: 88%;
  13 }