/* hammurabi.css - style information for Hammurabi game.
 *
 * version history:
 *
 * 1.0 - initial draft, 5/10/09
 */

/* general text styles for information surrounding the game:
 */
.title
	{
	font-size: 20px;
	text-align: center;
	}
	
.credits
	{
	font-size: 12px;
	text-align: center;
	}
	
.heading
	{
	font-size: 15px;
	font-weight: bold;
	}
	
.text_block
	{
	margin: 20px;
	}

/* Input boxes:
 */
.input
	{
	border-style: none;
	border-width: 0px;
	font-family: monospace;
	font-size: 10pt;
	}
	
/* The output area:
 */
#output
	{
	margin: 10px;
	font-family: monospace;
	font-size: 10pt;
	}