table.contents {
	background-color	: #eeeeee;
	width				: 960px;
	padding				: 50px;
	font-family			: verdana;
	font-size			: 14px;
}

table.wide {
    background-color    : #eeeeee;
    width               : 1300px;
    padding             : 50px;
    font-family         : verdana;
    font-size           : 14px;
}
div.lightgray {
	max-width			: 100%;
	min-width			: 300px;
	background-color	: #e3e3e3;
	padding				: 5px;
}

.shell { 
	background-color	: #e3e3e3;
	color				: black;
	padding				: 10px;
	max-width			: 700px;
	min-width			: 300px
	margin-top			: 0px;
	margin-bottom		: 1em;
	font-size			: 16px;
	overflow			: auto;
	font-family			: Courier New;
}