body {
  font-family: Georgia, Arial;
  margin-top: 40px;
  font-size: 17px;
  line-height: 26px;
}

font.emphasize {
  font-weight: bold;
}

font.credit  {
   line-height: 18px;
   font-size: 14px;
}

h1 {
  font-family: Georgia;
  font-size: 40px;
  font-weight: normal;
  line-height: 50px;
  margin-top: 0;
  margin-bottom: 0px;
}

.subtitle {
  font-family: Georgia;
  font-size: 30px;
  font-weight: normal;
  margin-bottom: 10px;
  //color: #F5474B;
  color: #0000FF;
}

h2 {
  font-family: Georgia;
  font-size: 30px;
  font-weight: bold;
  margin-top: 34px;
  margin-bottom: 16px;
}
h4 {
  font-family: Georgia;
  font-size: 25px;
  font-weight: normal;
  margin-bottom: 16px;
  margin-top: 10px;
}

h5 {
  font-family: Georgia;
  font-size: 22px;
  font-weight: normal;
  margin-bottom: 10px;
  color: #333333;
  margin-top: 10px;
}

h3 {
  margin: 0px;
  font-weight: normal;
  font-family: Georgia;
  font-size: 17px;
  color: #666666;
  margin-bottom: 20px;
}
h2:before {
  content: '';
  position: absolute;
  left: -3.5rem;
  top: -0.5rem;
  width: 42px;
  height: 37px;
}

.h2 {
  position: relative;
}

img.latex {
  -moz-box-shadow: 0px 0px 0px #999;
  -webkit-box-shadow: 0px 0px 0px #999;
  margin-bottom: 0px;
  padding-top:0px;
  margin-top:0px;

}
img {
  margin: 10px;
  -moz-box-shadow: 0px 0px 10px #999;
  -webkit-box-shadow: 0px 0px 10px #999;
  box-shadow: 0px 0px 20px #999;
}

.noshadow {
  -moz-box-shadow: 0px 0px 0px #999;
  -webkit-box-shadow: 0px 0px 0px #999;
  box-shadow: 0px 0px 0px #999;
}

.content {
  width: 1200px;
  margin: 0 auto;
}

td {
  text-align: center;
  padding: 0px 20px 20px;
}

a {
  //color: #F5474B;
  color: #666666;
}

a.red {
  color: #F5474B;
}

.bibtex {
  background-color: #F0F0F0;
  padding: 10px;
  width: 600px;
  font-size: 13px;
  font-family: courier;
}

center {
  margin: 0px;
  margin-bottom: 10px;
}

.desc {
  font-size: 13px;
  line-height: 15px;
  text-align: left;
}

#lastmod {
  font-size: 15px;
  color: #888888;
}

.author {
  text-decoration: none;
  color: #666666;
}