html { height: 100%; width: 100%; }

body {
	background: #f0f0f0;	/* not quite white... */
	font-size: 12px;
	font-family: "helvetica, arial, verdana, sans-serif";
	margin-left:  198px;
	margin-right: 20px;
	border-left:  4px solid grey;
	padding:0px;
//	height: 100%;
//	width:  100%;
}

h1 {
	font-family: Trebuchet MS;
	text-align: right;
	font-weight: normal;
	font-size: x-large;
	/* background-color: ; */
	text-align: left;
	margin-top: 10px;
	padding-left: 20px;
	padding-top: 20px;
	padding-bottom: 10px;
	letter-spacing: 0.1em;
}


h2 {
	font-family: Trebuchet MS;
	text-align: right;
	font-weight: normal;
	font-size: xx-large;
	/* background-color: ; */
	text-align: left;
	margin-top: 0px;
	padding-left: 20px;
	padding-top: 10px;
	padding-bottom: 20px;
	letter-spacing: 0.1em;
}

p {
	width: 50%;
	background:   transparent;
	line-height:  130%;
	padding-left: 20px;
	font-family:  georgia, "new century schoolbook", palatino, serif;
	font-size:    medium;
	padding-bottom: .5em;
}

p.vp {
	font-weight: bolder;
}

p.mouse {
	font-size: smaller;
}