# hex color codes from http://www.december.com/html/spec/color.html

body	{	font-family: Tahoma, Verdana, Amerigo, Arial;
		font-size: 10pt;
		text-decoration: none;	}

a	{	color: #3366CC;
		text-decoration: none;	}

a:hover	{	text-decoration: underline;	}

.filecontents	{	background-color: #cccccc;
			border: solid #777777;	}

.shellcmd	{	background-color: #6699ff;
			border: solid #0000aa;	}

.sectionHeader	{ background-color: #c2c2c2;
		  border: solid #a3a3a3; }

.bottomLink	{	font-family: Tahoma, Verdana, Amerigo, Arial;
			font-size: 10pt;
			text-decoration: none;
			color: #808080; }

ul	{	font-family: Tahoma, Verdana, Amerigo, Arial;
		font-size: 10pt;
		text-decoration: none;
		color: #808080; }

li	{	font-family: Tahoma, Verdana, Amerigo, Arial;
		font-size: 10pt;
		text-decoration: none;
		color: #808080; }