body {
  background-color: #EEEEEE;
  color: #444444;
  margin: 0;
  font-family: Helvetica Neue,Helvetica,Arial,sans-serif;
}
a {
  color: #3333CC;
  text-decoration: none;
}
a:hover {
  color: #6666FF;
}
h1 {
  margin-top: 0;
  margin-bottom: 0;
}
span.email {
  font-size: 80%;
  padding-left: 2px;
}
div.main {
  max-width: 900px;
  min-width: 700px;
  background-color: #FFFFFF;
  margin: auto;
  overflow: auto;
}
div.bar {
  background-color: #001033;
}
div.bar.empty {
  height: 3px;
}
div.sidebar {
  float: right;
  padding: 10px;
  width: 216px;
  font-size: 90%;
}
div.sidebar img {
  width: 216px;
}
div.sidebar .label {
  font-style: italic;
}
div.text-column {
  margin-right: 236px;
  padding: 10px;
  border-right: 1px solid #EEEEEE;
}
ul.publications li {
  padding-bottom: 10px;
}
.publications .authors {
  font-size: 80%;
}
.publications .conference {
  font-size: 80%;
  font-style: italic;
}
.award {
  font-weight: bold;
}

/*
     FILE ARCHIVED ON 06:50:45 Apr 05, 2024 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 19:13:39 Sep 02, 2024.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.543
  exclusion.robots: 0.019
  exclusion.robots.policy: 0.008
  esindex: 0.011
  cdx.remote: 6.496
  LoadShardBlock: 287.024 (3)
  PetaboxLoader3.datanode: 118.937 (7)
  PetaboxLoader3.resolve: 390.689 (3)
  load_resource: 264.17
  loaddict: 39.27
*/