.my_code {
	font-family: "Courier New", Courier, mono;
	color: #011ffd;
}
pre {
	font-family: "Courier New", Courier, mono;
	color: #006600;
	padding-left: 25px;
	font-size: 12pt;
}
ol {
	padding-left: 25px;
}
.my_bold_italic {
	font-style: italic;
	font-weight: bold;
}
.my_italic {
	font-style: italic;
}

.my_bold {
	font-weight: bold;
}
.my_code_false {
	font-family: "Courier New", Courier, mono;
	background-color: #C6A8C6;
}

.my_code_true {
	font-family: "Courier New", Courier, mono;
	background-color: #A6D1FD;
}
.def {
	font-size: 18px;
	background-color: #BBC7D3;
	font-family: "Courier New", Courier, mono;
	font-weight: 800;
	color: white;
	clear: left;
	padding-top: 2px;
	padding-right: 10px;
	padding-bottom: 2px;
	padding-left: 10px;
	display: inline;
	margin-right: 10px;
}
.rule {
	font-size: 18pt;
	font-family: "Courier New", Courier, mono;
	font-weight: 900;
	color: #000066;
	clear: left;
	float: left;
	display: inline;
	margin-right: 10px;
	width: 40px;
}
p.rule_p {
	background-color: #EAF9FF;
	border-top-width: 1px;
	border-bottom-width: 1px;
	border-top-style: dashed;
	border-bottom-style: dashed;
	border-top-color: #000066;
	border-bottom-color: #000066;
	border-left-color: #000066;
	padding-top: 10px;
	padding-right: 10px;
	padding-bottom: 10px;
	padding-left: 10px;
	margin-top: 40px;
}
p.primer {
	margin-left: 60px;
}
.prim {
	background-color: #BBC7D3;
	color: white;
	clear: left;
	padding-top: 2px;
	padding-right: 10px;
	padding-bottom: 2px;
	padding-left: 10px;
	display: inline;
	margin-right: 10px;
}
.my_primer {
	margin-left: 80px;
	border-left-width: 5px;
	border-left-style: solid;
	border-left-color: #006666;
}
.my_symbol {

	font-family: Symbol, monospace;
	color: #011ffd;
}.my_bold {
	font-weight: bold;
}
.computer_human {
	font-family: "Courier New", Courier, monospace;
	font-size: 16px;
	font-weight: bold;
	background-color: #CEEECA;
	height: 10px;
	width: 25px;
	color: #060;
	margin-top: 3px;
	margin-right: 5px;
	margin-bottom: 3px;
	margin-left: 0px;
	padding-top: 3px;
	padding-right: 0px;
	padding-bottom: 3px;
	padding-left: 3px;
}
#program_headline {
	margin: 0px;
	padding: 0px;
}