@import url(http://fonts.googleapis.com/css?family=Noto+Sans:400,400italic,700);
html {
	font-family: 'Noto Sans', 'DejaVu Sans', sans-serif;
	font-size: 12pt;
	color: @color-text;
	background-color: @color-footer;
}

p {
	line-height: 1.75;
	margin-bottom: 0.5rem;
}

h1, h2, h3 {
	font-weight: normal;
	margin-bottom: 1em;
}

h1 {
	color: @color-main;
}

a, a:link, a:visited, a:hover, a:active {
	color: crimson;
	text-decoration: none;
	transition: all 0.25s ease-in;
}

a:hover {
	color: #900000;
	text-decoration: underline;
}

main a:visited, footer a:visited {
	color: #a40000;
}

section {
	max-width: 975px;
	max-width: 60rem;
	margin: 0 auto;
	padding: 1rem 3rem;
	vertical-align: top;
}

header, main {
	background-color: @color-bg;
}

/**
 * Footnotes
 */

sup {
	position: relative;
	font-size: 80%;
	top: -0.5em;
}

/**
 * Main text
 */

main {

	h1, h2, h3, h4, h5, h6 {
		margin-top: 0.25em;
		margin-bottom: 0.25em;
	}

	h1 {
		font-size: 200%;
	}

}