body {
    /* xx */
    font-family: sans-serif;
    margin: 0;
    padding: 0;
    /* Todo: Use Roboto, Raleway, Droid Sans, Marianne, Merriweather, Open Sans, etc. ? */
    /* TODO drop margins */
}

a {
    text-decoration: none;
}

a:hover {
    opacity: 0.8;
}

.dark {
    display: none;
}

/* XX be responsive + adapt color mode */

header {
    display: block;
    padding: 34px;
    padding-left: 48px;
    padding-right: 48px;
    color: #333;
    font-size: 64px;
    background: #eee;
}

#header_inner {
    margin: auto;
    /* width: 1029px; */
}

#header_inner > * {
    vertical-align: middle;
}

#header_inner > img {
    margin-right: 6px;
    margin-left: 12px;
}

#header_inner > #buttons_right {
    float: right;
    margin-right: 8px;
}

#header_inner > #buttons_right a {
    vertical-align: middle;
}

#header_inner > #buttons_right img {
    vertical-align: middle;
    height: 64px;
}

#landing {
    padding: 34px;
}

#landing_inner {
    margin: auto;
    width: 1100px;
}

#landing_inner_text {
    font-size: 24px;
    margin-top: 16px;
    margin-left: 36px;
    margin-bottom: 24px;
}

#downloads {
    padding: 34px;
    background: #eee;
}

#downloads_inner {
    font-size: 24px;
    margin: 8px auto;
    width: 1100px;
}

#downloads_inner #downloads_links {
    margin: 24px 0;
}

#downloads_inner #downloads_links ul {
    margin: 18px 0;
}

#whatis {
    padding: 34px;
}

#whatis_inner {
    font-size: 24px;
    margin: 8px auto;
    width: 1100px;
}

#seenon {
    padding: 34px;
    background: #eee;
}

#seenon_inner {
    font-size: 24px;
    margin: 8px auto;
    width: 1100px;
}
