body
	{
		font-family: "Arial", sans-serif;
	}

.commandCode
	{
		font-family: "Courier", monospace;
		font-size: 10pt;
		white-space:nowrap;
		font-weight: bold;
	}

.unboldMS
	{
		font-family: "Courier", monospace;
		font-size: 10pt;
		font-weight: normal;
	}

a:visited
	{
		color: red;
		background : white;
	}

a:hover
	{
		color: yellow;
		background: red;
		font-weight: bold;
		text-decoration: none;
	}
dd
	{
		margin-bottom: 12px;
	}