div.main {
    margin: auto;
    width: 800px;
}
p.abstract {
    margin: 0 2em 0 2em;
    font-style: italic;
}
div.figure {
  margin: 20px auto;
  display: inline-block;
  -webkit-box-shadow: 0px 0px 9px black;
  -moz-box-shadow: 0px 0px 9px black;
  box-shadow: 0px 0px 9px black;
    text-align: center;
    padding: 20px;
}
p.caption {
    text-align: left;
    align: bottom;
}
span.caption {
    font-weight: bold;
}
object, pre, img {
    border: solid thin #AAAAAA;
}
img {
    padding: 10px;
}
pre {
    padding: 10px;
    text-align: left;
}
pre.plain {
    border: none;
    padding: 0px;
}
@media screen {
    .highlight {
        background-color: #FFFF00;
    }
} 
@media print {
    h2.toc, div.toc {
        display: none;
    }
    .highlight {
        border-bottom: solid thin;
    }
}