body {
	font-family: Arial, Helvetica, sans-serif;
}

h1 {
}

h2 {
}

pre {
	font-family: "Courier New", Courier, mono;
	font-size: 9pt;
}

.menu_item {
	font-size: 12px;
	font-weight: bold
; margin-top: 15px; margin-bottom: 0px
; text-indent: 5pt
}

.sub_menu_item {
	font-size: 12px;
	text-indent: 20px;
; left: 25px; clip:  rect(   )
; margin-bottom: 0px; margin-top: 5px
}

.page_header {
	font-size: medium;
	font-weight: bold;
	background-color: #BBD7EE;
	text-align: center;
	border: thin solid;
	padding-top: 5px;
	padding-bottom: 5px
}

.document_title {
	font-size: medium;
	font-weight: bold;
	background-color: #BBD7EE;
	text-align: center;
	border: thin solid;
	padding-top: 5px;
	padding-bottom: 5px
}

.keyword {
	color: blue;
}

.comment {
	color: red;
}

.pragmatic {
	font-size: medium;
	font-weight: bold;
	background-color: #FFCC66;
	text-align: center;
	border: thin solid;
	padding-top: 5px;
	padding-bottom: 5px
}

.remark { 
   font-size: 10pt
}