.grayed { color: #999; }

P {
    text-indent: .5cm; 
	padding: 0.5em; 
	text-align: justify; 
	}

H3 {background: #fff;	} 
LI {padding-top:4px;}

DIV { padding:4px; }
DIV.P1 {  }
DIV.P2 {  }
DIV.P3 {  }
DIV.P4 {  }
DIV.P5 {  }
DIV.commands { }

pre, tt { color: #00a; }
tt { font-weight: bold; } 
pre {   
	white-space: pre;
	margin-left: .5cm; 
	text-align: left;
	border-width: 1px;
	}
	<!--    A:link, A:visited { } -->
A:hover { background: cyan }