/* fonts */

body, p, h1, h2, h3, h4, h5, h6 {
	font-family: helvetica, arial, san serif;
}

body {
	font-size: 86%;
	margin-left: 2em;
	margin-right: 2em;	
}
	
div.center {
    text-align: center;
}

div.center table {
    margin-left: auto;
    margin-right: auto;
    text-align: left;
}

.support_link {
	/* So the URL is broken across lines */
	word-break: break-all;
}

h3, h2 {
    /* So when we jump to a heading anchor there is some whitespace above it */
    padding-top: 1.5em;
}

h4 {
    /* So when we jump to a heading anchor there is some whitespace above it */
    padding-top: 1em;
}