BODY {
	margin-left: 7%;
	margin-right: 7%;
	color: black;
	font-family: "Times New Roman", serif;
	background: #def url("../images/imag9.jpg");
}

A:link {
	color: red
}

A:visited {
	color: blue
}

H1 { /* title line only */
	margin-top: 2em;
	font-family: "Arial", sans-serif;
	font-variant: small-caps;
}

H2 { /* section headings */
	margin-top: 3em;
	font-family: "Arial", sans-serif;
}

H3 { /* sub-sections: syntax, semantics, examples */
	font-family: "Arial", sans-serif;
	font-size: smaller;
}

H4 { 
}

PRE, CODE {
	color: red;
	font-family: "Courier New", monospace;
	font-size: larger;
}

DFN {
	font-style: normal;
	font-weight: bold;
	color: #008080;
}