@charset "utf-8";
/* CSS Document */

/* Debug */
div.debug_log {
    border: 1px solid #000000;
    background-color: #e5e5e5;
    padding: 0.5em;
    /*margin: .5em;*/
    margin: 12px auto;
    width: 800px;
}
.debug_log .title {
    font-size: 1.3em;
    font-weight: 700;
    padding-bottom: 0.1em;
    text-align: center;
}
.debug_log .stamp {
    font-weight: 700;
    font-size: 14px;
}
.debug_log pre {
    border: 1px solid #cccccc;
    padding: 0.5em;
    margin: 0.5em 0em 0.5em 1em;
    font-size: 12px;
}

pre {
    background-color:#F9F9F9;
    color:#494949;
    font-size:1.3em;
    padding:0.5em;
}