h1 {
  font-size: 16pt;
  color:     blue;
}

ol {
/*  list-style-type: decimal; */
  list-style-type: disc;
  line-height:     1.8
  margin: 0 0 0 1em;
  /* padding: 0; */
}

li {
  /* margin: 0 0 0 1em; */
  margin-bottom: 10px;
}

.tm_title {
  /* color: blue; */
  /* font-style: italic */
}

.tm_journal {
  /* font-style: italic */
}

.tm_arXiv {
  /* color: blue; */
  /* font-style: italic */
}