html, body
{
    height: 100%;
}
body
{
    font-size: 75%;
    font-family: Verdana, Tahoma;
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#008AA9', endColorstr='#008AA9');
    background: -webkit-gradient(linear, left top, left bottom, from(#008AA9), to(#008AA9));
    background: -moz-linear-gradient(top,  #008AA9,  #008AA9); /* for firefox 3.6+ */
    background: linear-gradient(to bottom, #008AA9 0%, #008AA9 100%); /* W3C (IE10) maybe others soon.*/
    border: none;
    margin: 50px 100px ;
    padding: 0;
    font-size: 11px;
}
#stacktrace {
    padding: 0 25px;
}