* {
	font-size: 14pt;
}
main, header p, h1 {
	padding-left: 6px;
}
#info_source {
	font-weight: bold;
    font-size: .8em;
}
#doc_key {
    font-size: .8em;
}
#toc {
	border-bottom: 1px solid gray;
    font-size: 1em;
}
#toc a {
    font-size: .75em;
}
.key_cmd {
	font-weight: bold;
}
.value_cmd {
	font-style: italic;
}
.entry, #key {
	padding-bottom: 15px;
    font-size: .9em;
	border-bottom: 1px solid gray;
	font-family: 'Courier New', 'Helvetica', monospace;
}
.description, .note {
	font-size: .8em;
	font-family: 'Arial', serif;
}
.note {
	font-style: italic;
	color: brown;
}
.example, .key_example {
	font-size: .8em;
	color: green;
}
.key_example {
	font-size: 1.2em;
	font-weight: bold;
}