body	{
	background: lightgrey;
	background-color: lightgrey;
	color: black;
	margin: 0em 2em 2em 2em; }

h1, h2, h3, h4	{
	color: #008080;
	}

.mat {
	background-color: #aacccc;
	background: #aacccc;
	}

.mat2 {
	background-color: #c0c0c0;
	background: #c0c0c0;
	}

div.main {
	background: silver;
	padding: 0.5em;
	border: none;
}

div.box	{ border: solid; border-width: thin; width: 100% }

/* default link coloring */
A:link      { color: rgb(0, 0, 192) }
A:visited   { color: rgb(0, 0, 128) }
A:active    { color: rgb(0, 0, 255) }
A:hover     { color: rgb(0, 128, 128) }

/* special, for NN */
.ext    { color: red; }
.nav    { color: blue; }
.mail   { color: green; }

/* special, for IE */
A:link.ext, A:visited.ext   { color: red; }
A:link.nav, A:visited.nav   { color: blue; }
A:link.mail, A:visited.mail { color: green; }