:root {
    --faint: gray;
    --page-width: 795px;
}

body {
    background: url(images/bg-paper.jpg);
    font-family: monospace;
}

.content {
    max-width: var(--page-width);
    border: 1px solid lightgray;
    background: white;
    border-radius: 8px;
    margin: 2em auto;
    padding: 0;
    overflow: hidden;
    position: relative;
}

.header-container {
    background: url(images/bg-code.jpg);
    background-position: center;
    padding: 0;
    margin: 0;
    box-shadow: 8px 0 16px black;
}

.header {
    background: #000a;
    padding: 0;
    margin: 0;
}

h1 {
    margin: 0;
    padding: 15px;
    font-size: 30pt;
    color: white;
    text-align: center;
}

h3 {
    font-size: 15pt;
    font-weight: normal;
    font-family: monospace;
    background: #fafafa;
    border: 1px solid lightgray;
    border-radius: 4px;
    padding: 2px;
    padding-left: 0.75em;
    box-shadow: 2px 6px 10px 0 lightgray;
    margin-top: 5px;
}
h4 {
     margin: 0;
     padding-left: 6px;
     font-size: 12pt;
}

.main {
    /* empty */
}

.copyright {
    text-align: center;
    color: var(--faint);
    margin: 10px;
}

.logo {
    top: 1em;
    left: 1em;
    width: 180px;
    height: 180px;
    position: absolute;
    border: 4px solid white;
    border-radius: 50%;
    text-align: center;
    background: white;
    background-repeat: no-repeat;
    background-position: center;
    background-size: contain;
}

.logo.logo-debian {
    background-image: url(images/logos/debian.png);
}

.logo.logo-putty {
    background-image: url(images/logos/putty.png);
}

.logo.logo-kitty {
    background-image: url(images/logos/kitty.png);
}

.logo.logo-winscp {
    background-image: url(images/logos/winscp.png);
}


.debian-logo {
    max-width: 100%;
    max-height: 100%;
    vertical-align: middle;
}

p {
    padding: 0 10px;
}

.download {
    margin-top: 1em;
    margin-left: 230px;
    margin-right: 1em;
    margin-bottom: 1em;
    min-height: 120px;
}

.dl-logo {
    float: left;
    max-width: 48px;
    max-height: 48px;
    margin-right: 4px;
    padding: 2px;
    border-radius: 2px;
}

a {
    color: inherit;
    text-decoration: underline dotted lightgray;
}
a:hover {
    text-decoration: underline black;
}

.dl-flex {
    margin-top: 1px;
    margin-bottom: 0;
    display: flex;
    flex-direction: column;
}

.dl-option {
    color: inherit;
    background: rgb(0, 0, 0, 0.03);
    margin-right: 5px;
    margin-bottom: 5px;
    flex: 1.5;
    border-radius: 4px;
    border: 1px solid lightgray;
    border-left: 3px solid lightgray;
    padding: 5px;
    cursor: pointer;
    display: block;
    text-decoration: none;
    max-width: 400px;
}
.dl-option:hover {
    text-decoration: none;
}

.dl-option:hover {
    background: rgb(0, 0, 0, 0.1);
}

pre {
    padding: 2px;
    padding-right: 4px;
    display: inline-block;
    border: 1px solid lightgray;
    border-radius: 2px;
    background: #fefefe;
    margin: 0;
}

@media only screen and (max-width: 795px) {
    .logo {
        display: none !important;
    }
    .download {
        position: relative;
        margin-left: 1em;
        margin-right: 1em;
        margin-bottom: 1em;
        left: 0;
        right: 0;
    }
    .dl-flex {
        flex-direction: column;
    }
    .dl-option {
        margin-right: 0;
        margin-bottom: 5px;
    }
    .main {
        padding: 0;
    }
}

.return {
    background: #fff7;
    background-image: url(images/return.png);
    background-position: center;
    background-size: contain;
    background-repeat: no-repeat;
    border-radius: 50%;
    position: absolute;
    top: 5px;
    left: 5px;
    width: 36px;
    height: 36px;
    display: block;
    transition: background-color 0.1s ease-out;
}
.return:hover {
    background-color: #fffd;
}