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