table {
	font-size: 10pt;
}

code {
	display: block;
	font-family: Courier New, Menlo;
	font-size: 90%;
	margin: 1em;
}

shortcut {
	display: inline-block;
	padding: 0.1em 0.3em;
	margin: 0.0em 0.3em;
	border-radius: 6px;
	border: 2px solid gray;
}

keyword {
	font-weight: bold;
	color: black;
}

img.icon {
	vertical-align: middle;
	margin: 0 5px;
}

menuitem {
	font-size: 11pt;
	padding: 0.1em 1.6em;
	margin: 0 0.3em;
	border: 1px solid #CCC;
}

menuitem.selected {
	border: none;
	color: white;
	background: #4c7cec; /* Old browsers */
	background: -moz-linear-gradient(top,  #4c7cec 0%, #1e65ea 100%); /* FF3.6+ */
	background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#4c7cec), color-stop(100%,#1e65ea)); /* Chrome,Safari4+ */
	background: -webkit-linear-gradient(top,  #4c7cec 0%,#1e65ea 100%); /* Chrome10+,Safari5.1+ */
	background: -o-linear-gradient(top,  #4c7cec 0%,#1e65ea 100%); /* Opera 11.10+ */
	background: -ms-linear-gradient(top,  #4c7cec 0%,#1e65ea 100%); /* IE10+ */
	background: linear-gradient(to bottom,  #4c7cec 0%,#1e65ea 100%); /* W3C */
	filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#4c7cec', endColorstr='#1e65ea',GradientType=0 ); /* IE6-9 */
	
}

argument {
    color: #7b7b7b;
    font-style: italic;
}