.grammar  {
	/* border-left: 1px dashed #C00; */
	padding-left: 2em; 
	margin-left: 1em;
	color: #039;
	}

.gi {
	display: inline;
	/*font-style: italic;*/
	/*border-bottom: 1px green;
	border-bottom-style: inset;*/
	color: #039;
	/*font-variant: small-caps;*/
	font-weight: normal;
	font-size: 1em;
	}

.production_replace {
	background-color: #fff8d8;
	border-left: medium solid #f33;
	border-right: medium solid #f33;
	padding-left: 0.4em;
	padding-right: 0.4em;
	}

.note 
{
	border: 1px dotted #a00;
/*	background-color: #fbfbfb;*/
	padding: 1em;
	margin: 1em;
}

.note legend
{
	background-color: #ffffff;
	border: 1px solid #a00;
	padding: 0.2em;
	font-variant: small-caps;
	padding: 0.2em 1em 0.2em 1em;
}

.note h3
{
	border-bottom: 1px solid #000;
	padding: 0;
	margin: 0;
	display: inline;
}

.monotext
{
	font-family: monospace;
	background-color: #fff;
}

/* for inline h1, h2.. etc */
.inline_header
{
	display: inline;
}