/* Centre the pagination links */
.extra-pagination { text-align: center; }

/* pad out the older and newer pagination links */
span.newer { padding-right:2rem; border-left: solid #ffffff 4px; }
span.older { padding-left:2rem; border-right: solid #ffffff 4px; }

/* code shall get monospace-fonts */
code {
    font-family: monospace;
}