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@919: