body {
    font-family: sans-serif;
    margin: 20px;
}

span.main_page {
    font-variant: small-caps;
}

.infotable {
    width: 100%;
    padding: 0px;
    border-style: none;
    margin-bottom: 20px;
    vertical-align: middle;
}

.imgcell {
    width: 200px;
    vertical-align: middle;
    text-align: center;
}

.picture {
  border: 0px;
}

.datacell {
    width:100%;
    vertical-align: middle;
    padding: 0 0 0 20px;
    text-align: left;
}

.datahdr {
    font-weight: bold;
}

.school {
    font-variant: small-caps;
    font-weight: bold;
}

.degree {
    font-weight: bold;
}

:visited, :link {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

a.label:hover {
  text-decoration: none;
}


.center {
  text-align: center;
}

li.spread_li {
  margin: 15px 0;
}

.subpage {
    font-family: sans-serif;
    margin: 0px;
}

div.header {
    margin: 3px;
}

hr.header {
    margin: 0px;
}

.subpage_content {
    margin: 20px;
}

h1.paper_title {
    margin: 30px 0px;
    font-size: 170%;
    text-align: center;    
}

span.paper_header {
    font-weight: bold;
}

div.authors {
    margin: 2px 0px 2px 30px;
    text-indent: -30px;
}

div.venue {
    margin: 2px 0px 2px 30px;
    text-indent: -30px;
}

div.abstract {
    margin: 20px 0px;
}

p.abstract {
    margin: 10px 0px;
}

li.abstract {
    margin: 20px 0px;
}

div.download {
    margin: 0px 0px;
}

div.return_link {
    margin: 30px 0px 0px 0px;
    font-weight: bold;
}

.link_highlight {
    background-color: #e0eeee;
    padding: 10px
}

.final_links {
    margin: 40px 0px 0px 0px
}

.strike {
    text-decoration: line-through;
}

.strike_red {
    text-decoration: line-through;
    text-decoration-color: red;
    text-decoration-thickness: 3px;
}

.highlight {
    color: red
}

.highlight_link {
    color: red;
    text-decoration: underline;
}

.old_versions {
    margin-left: 2em;
}

.event_dt {
    font-weight: bold
}

li.course_section {
    margin-top: 1em;
    margin-bottom: 1em;
}

li.course_prerequisite {
    margin-top: .5em;
    margin-bottom: .5em;
}

h2.course_subheader {
    font-size: 130%;
    text-align: left;
}

.sched_table {
    border-collapse: collapse;
    table-layout: fixed;
}

.sched_empty {
    border-style: none;
    min-width: 350px;
}

.sched_header {
    font-weight: bold;
    background-color: #ffff88;
    border-width: 3px 3px 1px 3px;
    border-style: solid;
    width: 350px;
    text-align: center;
    vertical-align: middle;
}

.sched_header_out {
    font-weight: bold;
    background-color: #ffaaaa;
    border-width: 3px 3px 1px 3px;
    border-style: solid;
    width: 350px;
    text-align: center;
    vertical-align: middle;
}

.sched_content {
    border-width: 1px 3px 3px 3px;
    border-style: solid;
    width: 350px;
    vertical-align: top;
}

.sched_content_single {
    font-weight: bold;
    border-width: 1px 3px 3px 3px;
    border-style: solid;
    width: 350px;
    text-align: center;
    vertical-align: middle;
    padding-top: 2ex;
    padding-bottom: 2ex;
}

.sched_content_out {
    font-weight: bold;
    background-color: #ffdddd;
    border-width: 1px 3px 3px 3px;
    border-style: solid;
    width: 350px;
    text-align: center;
    vertical-align: middle;
    padding-top: 2ex;
    padding-bottom: 2ex;
}

.sched_inner_header {
    font-weight: bold;
}

.sched_important {
    color: red;
}