body { background: #ffffcc; font-family: Arial; }
//body { background: black; font-family: Arial; color: #00ff00}
body { background: #336699; font-family: Arial; color: #ffffff}
@media print {
	body { background: white; font-family: Arial; color: black}
}

h1 { text-align: center }

//a {color : #0080ff}
a {color : #ffffff}
@media print {
	a {color: black}
}
/*
@media screen {
	frameset.print {visibilty: hidden}
}
@media print {
	frameset.normal {visibilty: hidden}
}
*/
p.indent {margin-left: 20; text-align: justify}
p.command-line {margin-left: 60; font-family: Courier; font-size: 8; color: blue}

h4.sub-heading {margin-left: 20}
p.sub-section {margin-left: 40; margin-right: 20; text-align: justify}

a.toc1 {font-size: 14}
a.toc2 {font-size: 12;  margin-left: 20}