.heading			{margin:32px 40px 32px 40px}
.heading h1			{font-family:serif;font-size:2.25em;text-align:center;margin:0px}
.heading h2			{font-family:serif;font-size:0.75em;text-align:center;margin:0px 0px 32px 0px}

.article			{margin:32px 32px 32px 32px;padding:8px 8px 8px 8px}
.article h1			{font-family:serif;font-size:1.75em;margin:16px 0px 16px 0px;text-decoration:underline}
.article h2			{font-family:serif;font-size:1.25em;margin:24px 0px 0px 0px}
.article p			{margin:0px}
.article pre		{background-color:lightgray;padding:10px 10px 10px 10px;margin:0px;overflow:auto;white-space:nowrap}
.article a			{color:blue;text-decoration:none}
.article a:hover	{color:purple}



/*
.navigation			{float:left;width:200px;background-color:whitesmoke;
					 margin:16px 8px 16px 16px;padding:8px 8px 8px 8px}
.navigation h1		{font-family:serif;font-size:1.00em;text-align:center;margin:0px}
.navigation ul		{margin:0px 16px 0px 16px;padding:0px}
.navigation ul h2	{font-family:serif;font-size:1.00em;text-align:left;margin:0px 0px 0px 0px;padding:0px}
.navigation a		{text-decoration:none}
*/

/*.article			{float:center;width:1022px;margin:16px 16px 16px 8px;padding:8px 8px 8px 8px}*/