a {  
	color: #FFFFFF; 
	text-decoration: none;
}
a:hover {  
	color: #800828; 
	text-decoration: underline
}
body {  
	font-family: Arial, Helvetica, sans-serif; 
	color: #000000; 
	cursor: crosshair; 
	text-align: justify; 
	background-color: #999999;
	margin-left: 2.6cm;
	margin-right: 2cm;
	margin-top: 2cm;
	margin-bottom: 2cm;	/*padding-left: 20px;*/
}
h1 {
	font-family: "Times New Roman", Times, serif;
	font-size: xx-large;
	color: #000000;
	text-align: center;
	font-weight: normal;
}
h2 {  
	font-family: "Times New Roman", Times, serif; 
	font-size: large; 
	font-style: italic; 
	text-transform: uppercase; 
	font-variant: small-caps; 
	color: #800828; 
	border-bottom-width: thin;
	border-bottom-style: solid;
	border-bottom-color: #800828;
	margin-left: -1.3cm;
}
h3 {
	font-size: large;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: normal;
	text-decoration: underline;
}
h4 {
	font-size: large;
	color: #000000;
	font-family: "Times New Roman", Times, serif;
}
.copyright {  
	/*font-family: Arial, Helvetica, sans-serif; */
	font-size: x-small; 
	font-weight: bold;
	/*color: #333333; */
	text-align: center; 
}
.navigation {
	background-color: #800828;
	border: thin inset #FFFFFF;
	cursor: help;
	font-size: smaller;
	color: #00FFFF;
	text-align: center;
	padding: 3px;
}
.literal {
	font-family: "Courier New"; 
	font-size: x-small;
	font-style: normal;
}
.exampleProgram {
	font-size: x-small;
	background-color: #FFFFCC;
	border: 2px solid #800828;
	padding: 20px;
	width: 90%;
}
.exampleTitle {
	padding: 20px 20px 0px;
	font-style: italic;
	font-weight: bold;
	text-decoration: underline;
	text-align: center;
	/*width: 90%;*/
}
.lastModification {  
	font-size: x-small; 
	text-align: center; 
	/*page-break-before: always;*/
	margin-left: 20%;
	margin-right: 20%;
	border-top-width: 1px;
	border-top-style: solid;
	border-top-color: #000000;
	padding-bottom: 5px;
}
.printableVersion {
	font-size: x-small; 
	text-align: center; 
	/*page-break-before: always;*/
	margin-left: 20%;
	margin-right: 20%;
	padding-top: 5px;
	padding-bottom: 50px;
}
.tableOfContent {  
	text-align: center; 
	page-break-after: always;
}