html, body {
    width: 100%;
    height: 100%;
    margin: 0;
    padding: 0;
}

.overlay {
    display: block;
    position: fixed;
    z-index: 2;
    top: 1em;
    right: 1em;
}

.source-view {
    display: block;
    width: 100%;
    height: 100%;
    border: none;
}

.button {
    display: inline-block;
    border: 1px solid #bbb;
    background: #ccc;
    padding: 6px 12px;
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    border-radius: 4px;
    text-shadow: rgba(255,255,255,.4) 0 1px 0;
    color: #333;
    font-size: 12px;
    font-family: Helvetica, Arial, Sans-Serif;
    font-weight: bold;
    text-decoration: none;
    vertical-align: middle;
    margin: 3px;
    cursor: pointer;
}

.button:hover {
    border-color: #ccc;
    background: #ddd;
}

.download-button {
    display: inline-block;
    cursor: pointer;
    width: 2.5em;
    height: 2.5em;
    background: rgba(51, 51, 51, 0.8) url("/images/icon_download_white.png") no-repeat 50% 50%;
    opacity: 0.75;
    border-radius: 0.4em;
    -webkit-transition: all 0.2s;
    transition: all 0.2s;
}

.download-button:hover {
    opacity: 1;
}