body{
    margin:0;
    padding:0;
}
html, body {
    height: 100%;
    min-height: 100%;
}
iframe html, iframe body {
    height: auto;
    min-height: 0;
}
pre {
    white-space: pre-wrap;       /* css-3 */
    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
    white-space: -pre-wrap;      /* Opera 4-6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    word-wrap: break-word;       /* Internet Explorer 5.5+ */
}
#htmlVersion{
    display:none;
    margin-bottom:20px;
}

#plainTextVersion{
    display:none;
    margin:20px;
}

#showHtmlVersion,
#showPlainTextVersion{
    position: fixed;
    bottom: 0;
    right: 0;
    width: 200px;
    background: #FC0;
    text-align: center;
    font-family: Arial;
    font-size: 14px;
    line-height: 30px;
    border-radius: 5px 5px 0 0;
    margin: 0 5px;
    cursor: pointer;
    box-shadow: 0 0 5px #000000,0 18px 0 -0.4px rgba(255, 255, 255, 0.3) inset;
    text-shadow: 1px 1px 1px white;
}
#showHtmlVersion:hover,
#showPlainTextVersion:hover{
    background: #ff9d00;
}
#showPlainTextVersion{
    right: 207px;
}
#coverage{
    opacity: 0;
    margin-top: -17px;
    margin-left: -17px;
    position: fixed;
    background: white;
    height: 100%;
    width: 100%;
    display:none;/*don't use it until it's requested*/
}