/* Vertically center the logo in the header */
#titlearea {
    display: flex;
    align-items: center;
}

/* Add left padding to the logo cell */
#titlearea td:first-child {
    padding-left: 1em;
}

#titlearea td {
    vertical-align: middle;
}

/* Shift the project title/subtitle right to align with nav/content */
#titlearea td:last-child {
    padding-left: 5.5em;
}

/* Add left padding to code blocks */
div.fragment {
    padding: 0.5em 0 0.5em 0.5em;
}

/* Tighten spacing below H2 headings */
h2 {
    margin-bottom: 2px;
}

/* Reduce top margin on paragraphs */
p {
    margin-top: 0.5em;
}

/* Ensure the logo image doesn't get stretched */
#titlearea img {
    max-height: 34px;
    width: auto;
}