/*
 * $Id: userguide.css,v 1.1 2005-10-03 02:52:29 jklowden Exp $
 */

/* Set the screen background to gray */
.screen {
	background-color: #F0F0F0;
}

/* Render user input as boldface */
.userinput {
  font-weight: bold;
}

/* Make filenames green (why not?) */
.filename {
	color: #007a00;
}

.epigraph {
	text-align: center;
	font-style: italic;
}