body
{
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 12px;
    background-color:white;
    overflow:auto;
    margin:0px;
    height: 100%;
}

#header
{
    width: 100%; 
    padding: 10px; 
    background-color: #DDD; 
    border-bottom: 1px solid black;
    box-sizing: border-box;    
}

pre 
{
    width: 95%;
    box-sizing: border-box;    
    margin: 0 auto;
    background-color: #f8f8f8;
    border: none;
    font-size: 13px;
    line-height: 19px;
    overflow: auto;
    padding: 16px;
    border-radius: 3px;
    overflow-x: auto;
}

#markdown_link
{
    float: right;
    margin-right: 10%;    
}

#markdown
{
    display: none;    
}

.unsecure_copy_helper
{
    position: absolute;
    left: 0;
    top: 0;
    width: 0;
    height: 0;
}

#datagrid
{
    width: 95%;
    margin: 0 auto;
}

#datagrid td.column
{
    padding-left: 5px;
    padding-right: 5px;
    vertical-align: top;
}

#datagrid td.value
{
    overflow-x: scroll;
}