*
{
    font-family: sans-serif;
}

html
{
    background: #F4EED7;
}

body
{
    margin: 30px;
}

h1
{
    text-align: center;
}

p
{
    line-height: 21px;
    font-size:  11pt;
    margin: 10px;
}

div.graphic
{
    border-color: black;
    border-style: dotted;
    border-width: 1px;
    padding: 10px;
    background: #FFFDE1;
    margin-right: 20px;
}

p.box
{
    border-color: black;
    border-style: dotted;
    border-width: 1px;
    margin: 10px;
    padding: 10px;
    background: #FFFDE1;
}

p.box:first-line
{
    font-weight: bold;
}

.warning
{
    border-color: red;
    border-style: dotted;
    border-width: 1px;
    background: #FCF0EB;
    margin: 10px;
    padding: 10px;
    font-weight: bold;
}

ul>li, ol>li
{
    margin-left: 30px;
}

p>ul, p>ol
{
    margin-left: -30px;
}

ul>li>ul>li
{
    margin-left: 0px;
}

code
{
    font-family: monospace;
}

.doc-border
{
    stroke-dasharray: 2,2;
    stroke-width: 2;
    stroke: indianred;
    fill: none;
}

.test-name
{
    min-width: 180px;
    float: left;
}