.code {

	font-family: "Courier New", Courier, mono;

	font-size: large;

}

.codetitel {

	font-family: "Courier New", Courier, mono;

	font-size: large;

	font-style: normal;

	font-weight: bold;

}

.EBNF {

	color: #000000;

	background-color: #CCCCCC;

	font-family: "Courier New", Courier, mono;

	font-size: large;

}

body {

	font-family: Verdana, Arial, Helvetica, sans-serif;

}

h2 {

	background-color: #009FFF;

}

h3 {

	color: #009FFF;

}

h1 {

	color: #FFFFFF;

	background-color: #009FFF;

	text-align: center;

	padding-bottom: 5px;

}

.keyword {

	color: #0000FF;

}

.comment {

	color: #009F00;

}