/* -*- coding: latin-1 -*- */

h1 { margin-top: 0px; }

h1 .infos { font-size: x-large; }

h2 { margin: 0px; }

h2 .error,
h2 .imgs_diff {
    color: red;
    font-size: medium;
    margin-left: 1em;
}

img { vertical-align: top; }

pre.log {
    background-color: #f0f0f0;
    border-radius: 1em;
    font-family: Dina, monospace;
    margin: 0px;
    padding: 1ex;
}

ol li {
    border-bottom: dotted 1px gray;
    margin-bottom: 1ex;
    padding-bottom: 1ex;
}
