@font-face {
    font-family: 'DejaVu Sans';
    font-weight: normal;
    src: url(../fonts/DejaVuSans.ttf) format('truetype');
}

@font-face {
    font-family: 'DejaVu Sans';
    font-weight: bold;
    src: url(../fonts/DejaVuSans-Bold.ttf) format('truetype');
}

html {
    font-family: DejaVu Sans, sans-serif;
    font-size: 16px;
    color: #111;
    background: #FFF;
}

body {
    padding: 4px 8px;
}

a {
    color: #2061a4;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}

p, ol, li h1, h2, h3, h4, h5, h6 {
    margin-top: 0;
    margin-bottom: 0;
}

.margin1 {
    margin-top: 16px;
    margin-bottom: 16px;
}

.download {
    display: flex;
    margin-top: 10px;
    margin-bottom: 10px;
}

.download > div:nth-child(2) {
    margin-left: 10px;
}

.download .file {
    margin-top: 8px;
    margin-bottom: 8px;
}

.download .tested-on {
    font-size: 14px;
}

.download .windows-logo {
    height: 75px;
}

.download .macos-logo {
    max-height: 70px;
}

.email {
    height: 14.5px;
    position: relative;
    top: 3px;
}