@font-face {
	font-family: 'SourceCode';
	src: url('fonts/code.woff2');
}

code {
	display: block;
	font-family: 'SourceCode', monospace;
	line-height: 1.3em;
	padding: 5px;
	margin: 5px 10px 5px 0px;
	background-color: #f5f5f5;
	border: thin dashed #a2a2a2a2;
}

kbd {
	font-family: 'SourceCode', monospace;
}

kbd.variable, kbd.function {
	color: #7f0055;
}

kbd.type, kbd.method {
	color: #0066cc;
}

kbd.property {
	color: #225577;
	font-size: 11pt;
}

kbd.string, kbd.numeral, kbd.regex {
	color: #008800;
}

kbd.block {
	color: #225577;
	font-size: larger;
}

kbd.cmd {
	color: #5C7684;
}

kbd.option {
	color: #225577;
}

kbd.argument {
	color: #008800;
}

kbd.return {
	font-size: smaller;
}

table.binding kbd.type {
	font-size: 10pt;
}

table.options kbd.option {
	font-size: 11pt;
}

table.binding tr:hover {
	background-color: GhostWhite;
}

div.documentation {
	font-size: 11pt;
	padding: 5px;
	border: 1px solid #9EADC0;
	background-color: #F8F8FF;
	margin-bottom: 20px;
}

div.documentation h4 {
	margin: -5px -5px 5px -5px;
	background-color: #DEE3E9;
	border-bottom: 1px solid #9EADC0;
	padding: 2px 5px;
}

div.documentation code {
	font-size: larger;
	padding: 0px;
	margin: 0px 0px;
	border: none;
	background: none;
}

div.documentation p {
	margin: 1px 0px;
}

div.documentation dt {
	margin-bottom: 3px;
	color: #4E4E4E;
	font-size: 10pt;
}