code {
		font-weight: bold;
		background: lightgrey;
		border: 1px solid lightgrey;
		border-radius: 4px;
		padding: 2px 4px;
		}