/*
 * $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;
}