/*
div, ul, img {
  border: 1px solid gray;
}
*/
body {
  background-image: url('http://people.cs.pitt.edu/~mzhang/img/bg.png');
  background-color: #ddd;
  font-family: Helvetica, Arial, sans-serif;
  margin: 0;
  margin-bottom: 50px;
  padding: 0;
  font-size: 16px;
  color: gray;
}

#main {
  clear: both;
  width: 900px;
  margin: 0 auto;
  margin-top: 30px;
  background: rgba(255, 255, 255, 1);
  padding: 20px;
}

.banner {
  position: -webkit-sticky;
  position: sticky;
  top: 0;
  background-image: url('http://people.cs.pitt.edu/~mzhang/img/banner.png');
  opacity: 0.9;
  background-color: rgba(0, 0, 0, 0.8);
  height: 70px;
}

#header {
  width: 900px;
  margin: 0 auto;
  position: relative;
  color: white;
  padding-top: 20px;
  padding-bottom: 5px;
}

#name {
  padding-left: 10px;
  font-family: "Julius Sans One", sans-serif;
  font-weight: bold;
  font-size: 32px;
  width: 300px;
}

#navigator {
  margin: auto 0;
  text-align: right;
  position: absolute;
  right: 10px;
  bottom: 5px;
  font-family: "Julius Sans One", sans-serif;
}

#navigator a:link,
#navigator a:visited,
  {
  text-decoration: none;
}

#selfie {
  margin: 20px 20px 0 20px;
  float: left;
}

#selfie img {
  width: 210px;
  box-shadow: 3px 3px 10px #888;
}

.right {
  margin-right: 10px;
  line-height: 1.5;
  color: black;
}

.block {
  margin-left: 25px;
  border-left: 5px solid #ddd;
  padding-left: 15px;
  margin-top: 10px;
  margin-bottom: 15px;
}

.introduction {
  margin-bottom: 20px;
}

.abstract,
.introduction {
  overflow: auto;
}

.abstract .right p {
  font-style: italic;
  margin: 0;
}

.publication {
  margin-top: 10px;
  padding-bottom: 2px;
  line-height: 1.25;
}

.project_img {
  margin-top: 10px;
  margin-right: 20px;
  float: left;
  width: 300px;
}

.nav_cell {
  display: inline-block;
  font-size: 20px;
  padding: 0 10px;
}

.title {
  color: #555;
  font-weight: bold;
  font-size: 25px;
  margin-top: 15px;
  margin-left: 10px;
  margin-bottom: 10px;
}

span.emph {
  color: #555;
  font-weight: bold;
}

.subtitle {
  color: #555;
  margin-left: 20px;
  font-weight: bold;
  font-size: 20px;
  margin-bottom: 10px;
}

.research_title {
  color: #555;
  font-weight: bold;
  font-size: 18px;
}

.application_title {
  color: #555;
  font-weight: bold;
}

a:link,
a:visited {
  color: inherit;
  text-decoration: none;
  border-bottom: 1px dashed #333;
}

a.anchor {
  display: block;
  position: relative;
  top: -110px;
  visibility: hidden;
}

a.nounderline {text-decoration: none; border-bottom: none;}

ul li {
  margin-bottom: 10px;
  line-height: 1.5;
}

ul {
  list-style-type: circle;
  margin-top: 0;
  margin-bottom: 15px;
  margin-left: 10px;
}

ul#news li {
  margin-top: 0px;
  margin-bottom: 0px;
}

ul#sublist {
  list-style-type: disc;
  margin-left: -20px;
}

ul#sublist li {
  margin-top: 5px;
  margin-bottom: 5px;
  line-height: 1.5;
}

span.underline {
  border-bottom: 1px solid #333;
}

.clickable {
  cursor: pointer;
}

span.link {
  color: inherit;
  text-decoration: none;
  border-bottom: 1px dashed #333;
}

pre {
  font-family: monospace;
  font-size: 12px;
  overflow-x: auto; 
  border: 1px solid gray;
  padding: 5px;
  background-color: #f3f3f3;
}