@font-face {
  font-family:"Contra";
  src:url("./contra.ttf");
}

@font-face {
	font-family:"Contra";
	font-style:italic;
	src:url("./contra-i.ttf");
}

* {
	margin:0;
	padding:0;
}

body {
	font-family:Contra, Georgia, Sans-Serif;
	font-size:76%;
	width:40em;
	margin:0 auto;
}

p {
	font-size:1.2em;
	text-align:justify;
	line-height:1.75em;
	text-indent:1em;
	margin-bottom:2em;
}

h1 {
	margin:0.5em 0;
	font-size:3em;
}

h2, h3, h4, h5, h6 {
	margin-bottom:1em;
}

h2 {
	font-size:2.5em;
	border-top:1px solid #ccc;
	padding-top:1em;
}

h3 {
	font-size:2.2em;
	border-top:1px solid #ccc;
	padding-top:1em;
}

h4 {
	font-size:1.8em;
}

h5 {
	font-size:1.5em;
}

h6 {
	font-size:1.2em;
}

ol, ul {
	padding-left:2.5em;
	margin-bottom:2em;
	font-size:1.2em;
}

ol ol, ol ul, ul ul, ul ol {
	font-size:1em;
}

li {
	text-align:left;
	line-height:1.75em;
	margin-bottom:1em;
}

.toc {
	margin-bottom:2em;
}

.toc ol, .toc li {
	margin:0;
}

code {
	font-size:1.2em;
	background:#eee;
	padding:0.2em 0.1em;
}

pre code {
	display:block;
	margin-bottom:2em;
	font-family:Monaco, Menlo, Consolas, monospace;
	border:1px solid #ccc;
	width:40em;
	padding:1em;
	max-height:21em;
	font-size:1.2em;
	overflow:auto;
	background:none;
}