* {
	margin: 0;
	padding: 0
}

html {
	background-color: white;
	width: 100%;
	height: 100%;
}

body {
	background: white;
	color: black;
	text-align: left;
	min-height: 100%;
	position: relative;
	margin: 10pt 10pt;
	
	font: 16px/1.4 sans-serif;
}

p {
	margin: 0.8em 0;
}

a {
    text-decoration: none;
}

p.src {
	border-top: 1px solid #ccc;
    background: #f0f0f0;
    padding: 0.2em 0.5em;
    font-family: monospace;
    line-height: 124%;
}

.ref {
	font-weight: bold;
}

div.entity {
	margin: 2em 0;
}

div.doc {
    padding-left: 2em;
}

.caption, h1, h2, h3, h4, h5, h6 {
    font-weight: bold;
    color: rgb(78,98,114);
    margin: 0.8em 0 0.4em;
}

.title {
	font-size: 200%;
	color: rgb(78,98,114);
    font-weight: bold;
    border-bottom: 1px solid #ddd;
}

ul,ol {
	margin: 0.8em 0 0.8em 2em;
}

h1 { font-size: 146.5%; } 
h2 { font-size: 131%;   }
h3 { font-size: 116%;   }
h4 { font-size: 100%;   }
h5 { font-size: 100%;   }

pre {
	margin: 0.5em;
	background: #d0ffd0;
}