/*------------------------
debugging
--------------------------*/

div.deb-debug {
    margin-top: 20px;
    display: none;
}

div.deb-debug p{
    border-top: 1px dotted grey;
    margin-top: 10px;
    margin-bottom: 10px;
}

div.deb-debug pre {
    margin-top: 10px;
    margin-bottom: 10px;
}