a:link    { color: navy; }
a:visited { color: maroon; }
td.title {
  font-size: xx-large;
  font-weight: bold;
  padding:0pt 0pt 0pt 15pt;
}
span.title{
  color: navy;
  font-weight: 900;
}
td.paper_id {
  color: #404040;
  font-weight: 900;
  width: 4em;
  vertical-align: top;
}
hr.session {
  border-top: 1px dashed #666666;
  border-bottom: 0px solid black;
  border-left: 0px solid black;
  border-right: 0px solid black;
  width: 90%;
  margin: 10pt 0pt 10pt 0pt;
}
hr.sep {
  margin: 15pt 0pt 15pt 0pt;
}
