#postamble * {
    display: inline;
    font-size: 9pt;
}
div#platform {
    margin: 8px 0px;
}
div#firefox43 {
    margin: 8px 0px;
}
.navbar img {
    height: 28px;
}
h1 img {
    height: 48px;
}
.page-header {
    text-align: center;
}