emanuel@903: .figure img {
emanuel@903:     border: 1px solid lightgrey;
emanuel@903:     margin-bottom: 10px;
emanuel@903:     padding: 4px;
emanuel@903: }
emanuel@1238: img {
emanuel@1238:     vertical-align: top;
emanuel@1238: }
emanuel@903: .figure .caption {
emanuel@903:     margin-top: 0px;
emanuel@903:     margin-bottom: 20px;
emanuel@903: }
emanuel@1238: tt {
emanuel@1238:     font-size: 1.1em;
emanuel@1238:     background-color: transparent;
emanuel@1238: }
emanuel@1238: #pageheader img {
emanuel@1238:     float: left;
emanuel@1238:     margin-right: 10px;
emanuel@1238: }
emanuel@1238: #pageheader h1 {
emanuel@1238:     margin: 5px;
emanuel@1238:     padding: 15px;
emanuel@1238: }
emanuel@1238: #breadcrumbs {
emanuel@1238:     display: none;
emanuel@1238: }
emanuel@1238: .related.top #rellinks {
emanuel@1238:     margin-top: -25px;
emanuel@1238: }
emanuel@1238: #pagefooter {
emanuel@1238:     padding-bottom: 0 !important;
emanuel@1238: }