/* keyboard keys */
.key-button {
	background-color: #f9f9f9;
	border: 1px solid #aaa;
	-webkit-border-radius: 2px;
	-moz-border-radius: 2px;
	border-radius: 2px;
	background-image: linear-gradient(top, #eee, #f9f9f9, #eee);
	box-shadow: 1px 2px 2px #ddd;
	-moz-box-shadow: 1px 2px 2px #ddd;
	-webkit-box-shadow: 1px 2px 2px #ddd;
	padding: 1px 4px;
	font-size: 12px;
}
/* disable key-buttons inside code (RewriteRules use [L] */
pre .key-button {
	border: none;
	background-color: transparent;
	background-image: none;
	box-shadow: none;
	-moz-box-shadow: none;
	-webkit-box-shadow: none;
	padding: 0;
	font-size: inherit;
}
pre .key-button:before {
	content: "[";
}
pre .key-button:after {
	content: "]";
}
.unicode {
	font-size: 10px;
	display: inline-block;
	vertical-align: top;
	margin-top: 1px;
}
/* end keyboard keys */