/**
* debug.css
*
*/

div.debug {
    width: 100% !important;
    background-color: lightcoral !important;
    border-radius: 5px !important;
    padding-bottom: 10px !important;
    margin-bottom: 10px !important;
    margin-top: 10px !important;
    color: black !important;
}
div.debug div {
    cursor: pointer !important;
    padding: 10px !important;
    background-color: lightcoral !important;
    border-radius: 5px !important;
    font-size: xx-large !important;
    font-style: italic !important;
    width: auto !important;
    color: black !important;
}
pre.debug_info {
    display: none;
    background-color: blanchedalmond;
    border-radius: 5px;
    padding: 10px;
    margin: 10px;
    overflow: scroll;
    width: auto;
    min-height: 2em;
    color: black !important;

}